1496 search results - page 234 / 300 » Introducing Speech and Language Processing |
141
Voted
ICRA
2009
IEEE
15 years 10 months 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. ...
109
Voted
FM
2009
Springer
15 years 10 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...
134
Voted
IJCNN
2008
IEEE
15 years 10 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...
114
click to vote
ITNG
2007
IEEE
15 years 9 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...
126
Voted
LADS
2007
Springer
15 years 9 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...