Sciweavers

4099 search results - page 602 / 820
» A Framework for Interactive Proof
Sort
View
ATAL
2008
Springer
15 years 6 months ago
Belief operations for motivated BDI agents
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...
Patrick Krümpelmann, Matthias Thimm, Manuela ...
AUTONOMICS
2008
ACM
15 years 6 months ago
Verification and semantic parallelization of goal-driven autonomous software
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...
Damian Dechev, Nicolas Rouquette, Peter Pirkelbaue...
CAISE
2008
Springer
15 years 6 months ago
On Modeling and Analyzing Cost Factors in Information Systems Engineering
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....
Bela Mutschler, Manfred Reichert
CIKM
2008
Springer
15 years 6 months ago
Summarization of social activity over time: people, actions and concepts in dynamic networks
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...
Yu-Ru Lin, Hari Sundaram, Aisling Kelliher
CIVR
2008
Springer
138views Image Analysis» more  CIVR 2008»
15 years 6 months ago
Visual islands: intuitive browsing of visual search results
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...
Eric Zavesky, Shih-Fu Chang, Cheng-Chih Yang