10870 search results - page 1777 / 2174 » Model Checking Programs |
180
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
This paper describes a framework for making up a set of syllables and phonemes that subsequently is used in the creation of acoustic models for continuous speech recognition of Lit...
210
click to vote
TCSV
2008
15 years 6 months ago
2008
Abstract--This work is dedicated to a statistical trajectorybased approach addressing two issues related to dynamic video content understanding: recognition of events and detection...
190
click to vote
AAMAS
2000
Springer
15 years 6 months ago
2000
Springer
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents, and present a framework that uses this paradigm t...
210
click to vote
CONSTRAINTS
2002
15 years 6 months ago
2002
It is a challenging task for a team of multiple fast-moving robots to cooperate with each other and to compete with another team in a dynamic, real-time environment. For a robot te...
189
Voted
PERVASIVE
2007
Springer
15 years 6 months ago
2007
Springer
Inexpensive portable storage devices that are available in the market today have made it easier for users to carry data and programs with them and borrow computing platforms when ...