396 search results - page 64 / 80 » Combining decision procedures for the reals |
124
click to vote
CVPR
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper describes a fast and robust approach to recovering structure and motion from video frames. It rst describes a robust recursive factorization method for ane projection...
121
click to vote
FLAIRS
2008
15 years 3 months ago
2008
Preferences in constraint problems are common but significant in many real world applications. In this paper, we extend our conditional and composite CSP (CCCSP) framework, managi...
WCE
2007
15 years 2 months ago
2007
Abstract—The major infrastructure component required to develop an underground mine is a decline, which is a system of tunnels used for access and haulage. In this paper we study...
115
click to vote
FUIN
2006
15 years 1 months ago
2006
Traditional Machine Learning approaches based on single inference mechanisms have reached their limits. This causes the need for a framework that integrates approaches based on aba...
111
Voted
JCP
2008
15 years 1 months ago
2008
Emotion recognition has become a popular area in human-robot interaction research. Through recognizing facial expressions, a robot can interact with a person in a more friendly man...