270 search results - page 16 / 54 » Description of the RACER System and its Applications |
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
Many computer vision systems try to infer semantic information about a video scene content by looking at the time series of the silhouettes of the moving objects. This paper propo...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
CAISE
2000
Springer
13 years 12 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...
CONCUR
2006
Springer
13 years 11 months ago
2006
Springer
Several applications of graph rewriting systems (notably, some encodings of calculi with name passing) require rules which, besides deleting and generating graph items, are able to...
SIGDIAL
2010
13 years 5 months ago
2010
In this paper we present experiments related to the validation of spoken language understanding capabilities in a language and culture training system. In this application, word-l...