Sciweavers

4451 search results - page 797 / 891
» Continuous model synthesis
Sort
View
CLIMA
2010
14 years 8 months ago
Speculative Abductive Reasoning for Hierarchical Agent Systems
Answer sharing is a key element in multi-agent systems as it allows agents to collaborate towards achieving a global goal. However exogenous knowledge of the world can influence e...
Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hos...
ICTAC
2010
Springer
14 years 8 months ago
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
Yunho Kim, Moonzoo Kim, Nam Dang
IJRR
2010
102views more  IJRR 2010»
14 years 8 months ago
Space-carving Kernels for Accurate Rough Terrain Estimation
Abstract— Accurate terrain estimation is critical for autonomous offroad navigation. Reconstruction of a 3D surface allows rough and hilly ground to be represented, yielding fast...
Raia Hadsell, J. Andrew Bagnell, Daniel F. Huber, ...
MICAI
2010
Springer
14 years 8 months ago
Supervised Machine Learning for Predicting the Meaning of Verb-Noun Combinations in Spanish
The meaning of such verb-noun combinations as take care, undertake work, pay attention can be generalized as DO what is designated by the noun. Likewise, the meaning of make a deci...
Olga Kolesnikova, Alexander F. Gelbukh
PERCOM
2010
ACM
14 years 8 months ago
Predicting mobility events on personal devices
High-end mobile phones are quickly becoming versatile sensing platforms, capable of continuously capturing the dynamic context of their owners through various sensors. A change in...
Arjan J. H. Peddemors, Henk Eertink, Ignas G. Niem...