7988 search results - page 288 / 1598 » A Useful Undecidable Theory |
235
Voted
ECCV
2002
Springer
16 years 6 months ago
2002
Springer
The context of this work is lateral vehicle control using a camera as a sensor. A natural tool for controlling a vehicle is recursive filtering. The well-known Kalman fil...
150
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
Sequential patterns of d-gaps exist pervasively in inverted lists of Web document collection indices due to the cluster property. In this paper the information of d-gap sequential...
139
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
— A vocal imitation system was developed using a computational model that supports the motor theory of speech perception. A critical problem in vocal imitation is how to generate...
180
Voted
ATVA
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
156
click to vote
DIGRA
2003
Springer
15 years 10 months ago
2003
Springer
This paper examines the idea of combining Live Action Role-Playing (LARP) and MMORPG into a hybrid game named Takkar. We developed three versions of Takkar in an iterative fashion...