Sciweavers

179 search results - page 18 / 36
» Satellite Control Using Rational Agent Programming
Sort
View
AC
2000
Springer
15 years 2 months ago
The Join Calculus: A Language for Distributed Mobile Programming
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
Cédric Fournet, Georges Gonthier
SI3D
1995
ACM
15 years 2 months ago
CamDroid: A System for Implementing Intelligent Camera Control
In this paper, a method of encapsulating camera tasks into well defined units called “camera modules” is described. Through this encapsulation, camera modules can be programm...
Steven M. Drucker, David Zeltzer
MMNS
2004
80views Multimedia» more  MMNS 2004»
14 years 12 months ago
SIPC, a multi-function SIP user agent
Integrating multiple functions into one communication user agent can introduce many innovative communication services. For example, with networked appliance control, a user agent c...
Xiaotao Wu, Henning Schulzrinne
ECAI
2010
Springer
14 years 11 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
PAMI
2010
124views more  PAMI 2010»
14 years 5 months ago
Structural Approach for Building Reconstruction from a Single DSM
We present a new approach for building reconstruction from a single Digital Surface Model (DSM). It treats buildings as an assemblage of simple urban structures extracted from a li...
Florent Lafarge, Xavier Descombes, Josiane Zerubia...