4099 search results - page 602 / 820 » A Framework for Interactive Proof |
160
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
159
click to vote
AUTONOMICS
2008
ACM
15 years 6 months ago
2008
ACM
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
141
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
Introducing enterprise information systems (EIS) is usually associated with high costs. It is therefore crucial to understand those factors that determine or influence these costs....
163
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
We present a framework for automatically summarizing social group activity over time. The problem is important in understanding large scale online social networks, which have dive...
159
click to vote
CIVR
2008
Springer
15 years 6 months ago
2008
Springer
The amount of available digital multimedia has seen exponential growth in recent years. While advances have been made in the indexing and searching of images and videos, less focu...