Sciweavers

4037 search results - page 386 / 808
» Routing without ordering
Sort
View
124
Voted
SARA
2007
Springer
15 years 9 months ago
Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...
Ian P. Gent, Ian Miguel, Andrea Rendl
116
Voted
VMCAI
2007
Springer
15 years 9 months ago
Shape Analysis of Single-Parent Heaps
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
142
Voted
ICARCV
2006
IEEE
164views Robotics» more  ICARCV 2006»
15 years 9 months ago
Fast Object Extraction from Bayesian Occupancy Grids using Self Organizing Networks
— Despite their popularity, occupancy grids cannot be directly applied to problems where the identity of the objects populating an environment needs to be taken into account (eg ...
Dizan Vasquez, Fabrizio Romanelli, Thierry Fraicha...
125
Voted
ICMCS
2006
IEEE
115views Multimedia» more  ICMCS 2006»
15 years 9 months ago
Scalable Image Retrieval from Distributed Images Database
In order to store, and retrieve images from large databases, we propose a framework, based on multiple description coding paradigm, that disseminates images over distributed serve...
Tammam Tillo, Marco Grangetto, Gabriella Olmo
ICMCS
2006
IEEE
138views Multimedia» more  ICMCS 2006»
15 years 9 months ago
Perceptual Sharpness Metric (PSM) for Compressed Video
Sharpness, one of the most effective factors in video quality assessment, usually dominates the first impression of the representation of the compressed video or image signals. I...
Kai-Chieh Yang, Clark C. Guest, Pankaj K. Das