Visualitzant Articles publicats (D-IMAE) per matèria "Algorismes computacionals"

Visualitzant Articles publicats (D-IMAE) per matèria "Algorismes computacionals"

Ara es mostren els resultats 1-24 de 31

An Integral Geometry Based Method for Fast Form‐Factor Computation

1993-08-01 Article

Sbert, Mateu

View-dependent information theory quality measures for pixel sampling and scene discretization in flatland

2001 Article

Rigau Vilalta, Jaume Feixas Feixas, Miquel Bekaert, Philippe Sbert, Mateu

The Voronoi-Quadtree: construction and visualization

2002 Article

Coll i Arnau, Narcís Boada, Imma Sellarès i Chiva, Joan Antoni

An information theoretic framework for image segmentation

2004 Article

Rigau Vilalta, Jaume Feixas Feixas, Miquel Sbert, Mateu

Point sampling with uniformly distributed lines

2005 Article

Rovira, Jordi Wonka, Peter Castro Villegas, Francesc Sbert, Mateu

Generalized Higher-Order Voronoi Diagrams on Polyhedral Surfaces

2007 Article

Fort, Marta Sellarès i Chiva, Joan Antoni

Sequence Unification Through Currying

2007 Article

Kutsia, Temur Levy, Jordi Villaret i Ausellé, Mateu

Computing Distance Functions from Generalized Sources on Weighted Polyhedral Surfaces

2008 Article

Fort, Marta Sellarès i Chiva, Joan Antoni

A Write-Based Solver for SAT Modulo the Theory of Arrays

2008 Article

Bofill Arasa, Miquel Nieuwenhuis, Robert Oliveras Llunell, Albert Rodríguez Carbonell, Enric et al.

Speculative parallelization of multipath radiosity algorithm

2009 Article

Trias Mansilla, Albert Puiggalí, Joan Castro Villegas, Francesc Jové Lagunas, Teodor et al.

SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format

2009 Article

Bofill Arasa, Miquel Palahí i Sitges, Miquel Suy Franch, Josep Villaret i Ausellé, Mateu

Higher-order Voronoi diagrams on triangulated surfaces

2009-04-15 Article

Cabello, Sergio Fort, Marta Sellarès i Chiva, Joan Antoni

Image Segmentation Using Information Bottleneck Method

2009-07 Article

Bardera i Reig, Antoni Rigau Vilalta, Jaume Boada, Imma Feixas Feixas, Miquel et al.

An Efficient Nominal Unification Algorithm

2010 Article

Levy, Jordi Villaret i Ausellé, Mateu

Anti-Uniﬁcation for Unranked Terms and Hedges

2011 Article

Kutsia, Temur Levy, Jordi Villaret i Ausellé, Mateu

Approximating generalized distance functions on weighted triangulated surfaces with applications

2012 Article

Fort, Marta Sellarès i Chiva, Joan Antoni

Solving constraint satisfaction problems with SAT modulo theories

2012 Article

Bofill Arasa, Miquel Palahí i Sitges, Miquel Suy Franch, Josep Villaret i Ausellé, Mateu

A Variant of Higher-Order Anti-Unification

2013 Article

Baumgartner, Alexander Kutsia, Temur Levy, Jordi Villaret i Ausellé, Mateu

Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories

2013-01-01 Article

Ansótegui, Carlos Bofill Arasa, Miquel Palahí i Sitges, Miquel Suy Franch, Josep et al.

Anti-unification for unranked terms and hedges

2014-02 Article

Kutsia, Temur Levy, Jordi Villaret i Ausellé, Mateu

Hierarchical clustering based on the information bottleneck method using a control process

2015-08-24 Article

Bonmatí Coll, Ester Bardera i Reig, Antoni Boada, Imma Feixas Feixas, Miquel et al.

The RANTANPLAN planner: system description

2016-12-22 Article

Bofill Arasa, Miquel Espasa Arxer, Joan Villaret i Ausellé, Mateu

Higher-Order Pattern Anti-Unification in Linear Time

2017-02-01 Article

Baumgartner, Alexander Kutsia, Temur Levy, Jordi Villaret i Ausellé, Mateu

Group evolution patterns in running races

2019-04-01 Article

Diez, Yago Fort, Marta Korman, Matias Sellarès i Chiva, Joan Antoni

Ara es mostren els resultats 1-24 de 31