1496 search results - page 234 / 300 » Introducing Speech and Language Processing |
162
click to vote
ICRA
2009
IEEE
16 years 1 days ago
2009
IEEE
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
134
click to vote
FM
2009
Springer
15 years 12 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
152
click to vote
IJCNN
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—Acquisition and representation of semantic concepts is a necessary requirement for the understanding of natural languages by cognitive systems. Word games provide an int...
130
click to vote
ITNG
2007
IEEE
15 years 11 months ago
2007
IEEE
Context information is one of the most important data coming from mobile devices to add a value for the application execution. This paper introduces a context dissemination middle...
150
click to vote
LADS
2007
Springer
15 years 11 months ago
2007
Springer
Embedded real-time systems play an important role in various application areas like plant automation, product automation or car electronics. In recent years a considerable growth i...