4586 search results - page 463 / 918 » Computing stable models in parallel |
207
click to vote
DKE
2010
15 years 6 months ago
2010
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...
219
click to vote
SDM
2009
SIAM
16 years 4 months ago
2009
SIAM
Cluster ensembles provide a framework for combining multiple base clusterings of a dataset to generate a stable and robust consensus clustering. There are important variants of th...
196
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— In an effort to ease the burden of programming motor commands for humanoid robots, a computer vision technique is developed for converting a monocular video sequence of human p...
180
click to vote
HAPTICS
2005
IEEE
16 years 13 days ago
2005
IEEE
— We present an algorithm that determines the point on a convex parametric surface patch that is closest to a given (possibly moving) point. Any initial point belonging to the su...
183
click to vote
EUROCAST
2005
Springer
16 years 10 days ago
2005
Springer
Convergence is a central problem in both computer science and in population biology. Will a program terminate? Will a population go to an equilibrium? In general these questions ar...