396 search results - page 28 / 80 » Combining decision procedures for the reals |
154
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
As learning agents move from research labs to the real world, it is increasingly important that human users, including those without programming skills, be able to teach agents de...
142
click to vote
CSL
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
DSRT
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
148
click to vote
ICMCS
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper describes a method of stereo image composition for video see-through augmented reality. In order to implement an augmented reality system, we must acquire the position ...
118
click to vote
ISVC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present a markerless real-time, model-based 3D face tracking methodology. The system combines two robust and complimentary optimization-based strategies, namely active...