488 search results - page 63 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
103
Voted
IROS
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract— Bayesian filtering is a general framework for recursively estimating the state of a dynamical system. The most common instantiations of Bayes filters are Kalman filt...
CONNECTION
2008
14 years 11 months ago
2008
Spoken language is one of the most intuitive forms of interaction between humans and agents. Unfortunately, agents that interact with people using natural language often experienc...
ICMCS
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper considers extractive summarization of Chinese spoken documents. In contrast to conventional approaches, we attempt to deal with the extractive summarization problem und...
151
Voted
SCN
2008
Springer
14 years 11 months ago
2008
Springer
Relative location information helps build vehicle topology maps. Such maps provide location information of nearby vehicles to drivers. In building a vehicle topology, one must cons...
FLAIRS
2006
15 years 15 days ago
2006
The continuous development of the Internet has resulted in an exponential increase in the amount of available information. A popular way to access this information is by submittin...