Sciweavers

1589 search results - page 118 / 318
» Constraints with Variables' Annotations
Sort
View
CVPR
2011
IEEE
13 years 19 days ago
Exploiting Phonological Constraints for Handshape Inference in ASL Video
Handshape is a key linguistic component of signs, and thus, handshape recognition is essential to algorithms for sign language recognition and retrieval. In this work, linguistic ...
Ashwin Thangali, Stan Sclaroff, Carol Neidle, Joan...
ICLP
2007
Springer
14 years 3 months ago
Static Region Analysis for Mercury
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
Quan Phan, Gerda Janssens
PLDI
1996
ACM
14 years 1 months ago
Static Detection of Dynamic Memory Errors
Many important classes of bugs result from invalid assumptions about the results of functions and the values of parameters and global variables. Using traditional methods, these b...
David Evans
SAC
2005
ACM
14 years 2 months ago
Box-set consistency for interval-based constraint problems
As opposed to finite domain CSPs, arc consistency cannot be enforced, in general, on CSPs over the reals, including very simple instances. In contrast, a stronger property, the s...
Gilles Chabert, Gilles Trombettoni, Bertrand Neveu
CEEMAS
2005
Springer
14 years 2 months ago
On Communication in Solving Distributed Constraint Satisfaction Problems
Abstract. Distributed Constraint Satisfaction Problems (DCSP) is a general framework for multi-agent coordination and conflict resolution. In most DCSP algorithms, inter-agent com...
Hyuckchul Jung, Milind Tambe