Sciweavers

3808 search results - page 706 / 762
» Artificial Intelligence: A Modern Approach
Sort
View
KI
2007
Springer
15 years 4 months ago
Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog
Readylog is a logic-based agent programming language and combines many important features from other Golog dialects. One of the features of Readylog is to make use of decision-theo...
Lutz Böhnstedt, Alexander Ferrein, Gerhard La...
LPAR
2007
Springer
15 years 4 months ago
Deciding Knowledge in Security Protocols for Monoidal Equational Theories
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
Véronique Cortier, Stéphanie Delaune
ICAT
2006
IEEE
15 years 3 months ago
Real-Time Virtual Surgery Simulation Employing MM-Model and Adaptive Spatial Hash
Abstract. In this paper, MM-Model is presented for real-time simulation of 3D deformable objects on both global level and local region. This model consists of a deformable centerli...
Shaoting Zhang, Lixu Gu, Weiming Liang, Jingsi Zha...
HRI
2006
ACM
15 years 3 months ago
Analysis of human behavior to a communication robot in an open field
This paper investigates human behavior around an interactive robot at a science museum. To develop a communication robot that works in daily environments, it is important to inves...
Shogo Nabe, Takayuki Kanda, Kazuo Hiraki, Hiroshi ...
MIR
2006
ACM
141views Multimedia» more  MIR 2006»
15 years 3 months ago
Mining temporal patterns of movement for video content classification
Scalable approaches to video content classification are limited by an inability to automatically generate representations of events ode abstract temporal structure. This paper pre...
Michael Fleischman, Philip DeCamp, Deb Roy