Sciweavers

3529 search results - page 334 / 706
» A Model for Interaction of Agents and Environments
Sort
View
PRICAI
2000
Springer
15 years 10 months ago
Virtual Enterprise Design - BDI Agents vs. Objects
Current research identifying architectures for a virtual enterprise has moved from information modelling to role modelling. Thus, a high level of autonomy results from the distribu...
Iyad Rahwan, Ryszard Kowalczyk, Yun Yang
APN
2009
Springer
15 years 10 months ago
The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator
Abstract. Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, ...
Michael Westergaard, Lars Michael Kristensen
ICPR
2010
IEEE
15 years 11 months ago
Learning Affordances for Categorizing Objects and Their Properties
In this paper, we demonstrate that simple interactions with objects in the environment leads to a manifestation of the perceptual properties of objects. This is achieved by derivi...
Nilgun Dag, Ilkay Atil, Sinan Kalkan, Erol Sahin
AAAI
2008
15 years 9 months ago
Knowledge-Based Spatial Reasoning for Scene Generation from Text Descriptions
This system translates basic English descriptions of a wide range of objects in a simplistic zoo environment into plausible, three-dimensional, interactive visualizations of their...
Dan Tappan
ENTCS
2008
94views more  ENTCS 2008»
15 years 6 months ago
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
Hendrik Tews, Tjark Weber, Marcus Völp