10038 search results - page 1865 / 2008 » Model Checking for Managers |
140
Voted
PVLDB
2008
15 years 3 months 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...
137
click to vote
TROB
2008
15 years 3 months 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...
160
Voted
CIKM
2010
Springer
15 years 2 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...
139
click to vote
CIKM
2010
Springer
15 years 2 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...
133
click to vote
CLIMA
2010
15 years 2 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...