Sciweavers

131 search results - page 25 / 27
» Solution Enumeration for Projected Boolean Search Problems
Sort
View
SIGMOD
2008
ACM
214views Database» more  SIGMOD 2008»
14 years 6 months ago
A graph method for keyword-based selection of the top-K databases
While database management systems offer a comprehensive solution to data storage, they require deep knowledge of the schema, as well as the data manipulation language, in order to...
Quang Hieu Vu, Beng Chin Ooi, Dimitris Papadias, A...
CVPR
2003
IEEE
14 years 8 months ago
Bayesian Tangent Shape Model: Estimating Shape and Pose Parameters via Bayesian Inference
12 In this paper we study the problem of shape analysis and its application in locating facial feature points on frontal faces. We propose a Bayesian inference solution based on ta...
Yi Zhou, Lie Gu, HongJiang Zhang
CONSTRAINTS
2002
111views more  CONSTRAINTS 2002»
13 years 5 months ago
A Constraint-Based Interactive Train Rescheduling Tool
In this paper, we report the design and implementation of a constraint-based interactive train rescheduling tool, a project in collaboration with the International Institute for So...
C. K. Chiu, C. M. Chou, Jimmy Ho-Man Lee, Ho-fung ...
CP
2005
Springer
13 years 11 months ago
Speeding Up Constrained Path Solvers with a Reachability Propagator
Constrained path problems have to do with finding paths in graphs subject to constraints. One way of constraining the graph is by enforcing reachability on nodes. For instance, i...
Luis Quesada, Peter Van Roy, Yves Deville
UPP
2004
Springer
13 years 11 months ago
Inverse Design of Cellular Automata by Genetic Algorithms: An Unconventional Programming Paradigm
Evolving solutions rather than computing them certainly represents an unconventional programming approach. The general methodology of evolutionary computation has already been know...
Thomas Bäck, Ron Breukelaar, Lars Willmes