Sciweavers

999 search results - page 107 / 200
» Constraints in Non-Boolean Contexts
Sort
View
VLC
2008
156views more  VLC 2008»
15 years 6 months ago
An agent-based framework for sketched symbol interpretation
Recognizing hand-sketched symbols is a definitely complex problem. The input drawings are often intrinsically ambiguous, and require context to be interpreted in a correct way. Ma...
Giovanni Casella, Vincenzo Deufemia, Viviana Masca...
ECCV
2002
Springer
16 years 8 months ago
Constrained Flows of Matrix-Valued Functions: Application to Diffusion Tensor Regularization
Nonlinear partial differential equations (PDE) are now widely used to regularize images. They allow to eliminate noise and artifacts while preserving large global features, such as...
Christophe Chefd'Hotel, David Tschumperlé, ...
IPMI
1999
Springer
16 years 7 months ago
Consistent Linear-Elastic Transformations for Image Matching
Abstract. A fundamental problem with a large class of image registration techniques is that the estimated transformation from image A to B does not equal the inverse of the estimat...
Gary E. Christensen
CADE
2006
Springer
16 years 6 months ago
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures
Abstract. In the context of combinations of theories with disjoint signatures, we classify the component theories according to the decidability of constraint satisability problems ...
Maria Paola Bonacina, Silvio Ghilardi, Enrica Nico...
SIGMOD
2005
ACM
133views Database» more  SIGMOD 2005»
16 years 6 months ago
Constrained Optimalities in Query Personalization
Personalization is a powerful mechanism that helps users to cope with the abundance of information on the Web. Database query personalization achieves this by dynamically construc...
Georgia Koutrika, Yannis E. Ioannidis