Sciweavers

403 search results - page 47 / 81
» Learning to communicate in a decentralized environment
Sort
View
CAV
2007
Springer
164views Hardware» more  CAV 2007»
15 years 1 months ago
SAT-Based Compositional Verification Using Lazy Learning
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
Nishant Sinha, Edmund M. Clarke
CE
2007
96views more  CE 2007»
14 years 9 months ago
Mobile learning: A framework and evaluation
Wireless data communications in form of Short Message Service (SMS) and Wireless Access Protocols (WAP) browsers have gained global popularity, yet, not much has been done to exte...
Luvai F. Motiwalla
EELC
2006
121views Languages» more  EELC 2006»
15 years 1 months ago
Symbol Grounding Through Cumulative Learning
Abstract. We suggest that the primary motivation for an agent to construct a symbol-meaning mapping is to solve a task. The meaning space of an agent should be derived from the tas...
Samarth Swarup, Kiran Lakkaraju, Sylvian R. Ray, L...
KDD
2002
ACM
184views Data Mining» more  KDD 2002»
15 years 10 months ago
The Community of Multimedia Agents
Multimedia data mining requires the ability to automatically analyze and understand the content. The Community of Multimedia Agents project is devoted to creating a community of re...
Gang Wei, Valery A. Petrushin, Anatole Gershman
RAS
2007
117views more  RAS 2007»
14 years 9 months ago
Learning spatial concepts from RatSLAM representations
RatSLAM is a biologically-inspired visual SLAM and navigation system that has been shown to be effective indoors and outdoors on real robots. The spatial representation at the cor...
Michael Milford, Ruth Schulz, David Prasser, Gordo...