ListarDepartament d'Informàtica, Matemàtica Aplicada i Estadística por tema "Algorismes computacionals"

An Integral Geometry Based Method for Fast Form‐Factor Computation

Artículo open access ​

​

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

The Voronoi-Quadtree: construction and visualization

An information theoretic framework for image segmentation

Point sampling with uniformly distributed lines

Generalized Higher-Order Voronoi Diagrams on Polyhedral Surfaces

Sequence Unification Through Currying

Computing Distance Functions from Generalized Sources on Weighted Polyhedral Surfaces

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

Speculative parallelization of multipath radiosity algorithm

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

Higher-order Voronoi diagrams on triangulated surfaces

Image Segmentation Using Information Bottleneck Method

An Efficient Nominal Unification Algorithm

Artículo open access ​

​

Anti-Unification for Unranked Terms and Hedges

Solving constraint satisfaction problems with SAT modulo theories

Approximating generalized distance functions on weighted triangulated surfaces with applications

A Variant of Higher-Order Anti-Unification

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

Anti-unification for unranked terms and hedges

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

The RANTANPLAN planner: system description

Higher-Order Pattern Anti-Unification in Linear Time

Group evolution patterns in running races