Sciweavers

60 search results - page 9 / 12
» A service-oriented language for programming mobile agents
Sort
View
ECAI
2010
Springer
13 years 8 months ago
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
Jens Claßen, Gerhard Lakemeyer
IFIP
2003
Springer
14 years 17 days ago
Testing Mobile Wireless Applications
A framework is described that can be used to build and test application-level software for wireless mobile computing. It emulates the physical mobility of wireless devices by usin...
Ichiro Satoh
AROBOTS
1998
113views more  AROBOTS 1998»
13 years 7 months ago
Grounding Mundane Inference in Perception
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representation...
Ian Horswill
WWW
2001
ACM
14 years 8 months ago
Integrating Software Agents into the HTTP Caching Infrastructure
Mobile software agents are an increasingly important programming model within the World Wide Web (WWW). Typically programmed in Java or another machine- independent language, the ...
Jesse Greenwald, Daniel Andresen
IFIP
2010
Springer
14 years 5 days ago
A Face Attention Technique for a Robot Able to Interpret Facial Expressions
Automatic facial expressions recognition using vision is an important subject towards human-robot interaction. Here is proposed a human face focus of attention technique and a faci...
Carlos Simplício, José Augusto Prado...