406 search results - page 43 / 82 » Exploring Legacy Systems using Types |
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
We present an approach to building libraries of tasks in complex action languages such as Golog, for query answering. Our formalization is based on a situation calculus framework t...
ARGMAS
2004
Springer
13 years 11 months ago
2004
Springer
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...
PERVASIVE
2010
Springer
14 years 2 months ago
2010
Springer
Mobile phones have evolved from devices that are just used for voice and text communication to platforms that are able to capture and transmit a range of data types (image, audio, ...
CVPR
2011
IEEE
13 years 3 months ago
2011
IEEE
We present the design and implementation of new inexact Newton type Bundle Adjustment algorithms that exploit hardware parallelism for efficiently solving large scale 3D scene re...
JSS
2008
13 years 7 months ago
2008
This article presents the research work that exploits using XML (Extensible Markup Language) to represent different types of information in mobile agent systems, including agent c...