989 search results - page 89 / 198 » Version spaces and the consistency problem |
131
click to vote
CVPR
2003
IEEE
16 years 7 months ago
2003
IEEE
We consider the problem of segmenting an image into foreground and background, with foreground containing solely objects of interest known a priori. We propose an integration mode...
156
click to vote
ICRA
2007
IEEE
16 years 4 days ago
2007
IEEE
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
167
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
This paper considers the diagnosis of large discrete-event systems consisting of many components. The problem is to determine, online, all failures and states that explain a given...
138
click to vote
IJCGA
2002
15 years 5 months ago
2002
Given a set P of n points in the plane, the two-circle point-labeling problem consists of placing 2n uniform, non-intersecting, maximum-size open circles such that each point touc...
170
click to vote
ICML
2004
IEEE
16 years 6 months ago
2004
IEEE
Many difficult visual perception problems, like 3D human motion estimation, can be formulated in terms of inference using complex generative models, defined over high-dimensional ...