10038 search results - page 1865 / 2008 » Model Checking for Managers |
113
Voted
PVLDB
2008
15 years 17 days ago
2008
Declarative languages have recently been proposed for many new applications outside of traditional data management. Since these are relatively early research efforts, it is import...
106
Voted
TROB
2008
15 years 16 days ago
2008
This paper describes a biologically inspired approach to vision-only simultaneous localization and mapping (SLAM) on ground-based platforms. The core SLAM system, dubbed RatSLAM, i...
127
Voted
CIKM
2010
Springer
14 years 11 months ago
2010
Springer
Retweeting is an important action (behavior) on Twitter, indicating the behavior that users re-post microblogs of their friends. While much work has been conducted for mining text...
109
Voted
CIKM
2010
Springer
14 years 11 months ago
2010
Springer
A typical collection of personal information contains many documents and mentions many concepts (e.g., person names, events, etc.). In this environment, associative browsing betwe...
104
Voted
CLIMA
2010
14 years 11 months ago
2010
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...