551 search results - page 60 / 111 » Continuous Search in Constraint Programming |
179
Voted
CPAIOR
2010
Springer
15 years 18 days ago
2010
Springer
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...
126
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
This paper describes Juzi, a tool for automatic repair of complex data structures. Juzi takes a Java class representing the data structure as well as a predicate method that speci...
SIBGRAPI
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents a linear complexity method for real-time stereo matching, in which the processing time is only dependent on the image resolution. Regions along each epipolar l...
114
Voted
ESOA
2006
15 years 6 months ago
2006
Hierarchical clustering is used widely to organize data and search for patterns. Previous algorithms assume that the body of data being clustered is fixed while the algorithm runs...
111
Voted
CORR
2010
Springer
15 years 50 min ago
2010
Springer
To find the best lattice model representation of a given full atom protein structure is a hard computational problem. Several greedy methods have been suggested where results are ...