2586 search results - page 244 / 518 » Automatic Abstraction for Congruences |
188
click to vote
CLEF
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. This paper describes the participation of the Technical University of Catalonia in the CLEF 2007 Question Answering on Speech Transcripts track. For the processing of man...
149
click to vote
FMCAD
2007
Springer
16 years 24 days ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
154
click to vote
FMCAD
2007
Springer
16 years 24 days ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
161
click to vote
GW
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In automatic sign language translation, one of the main problems is the usage of spatial information in sign language and its proper representation and translation, e.g. ...
183
click to vote
IBPRIA
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This paper deals with a compact catadioptric omnidirectional stereovision system based on a single camera and multi-mirrors (at least two mirrors). Many configurations w...