4096 search results - page 795 / 820 » An Object Model for Interoperable Systems |
160
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
This work presents some anticipatory mechanisms in an agent architecture, modeling affective behaviours as effects of surprise. Through experiment discussion, the advantages of bec...
153
click to vote
SCA
2007
15 years 6 months ago
2007
We describe a method for animating incompressible liquids with detailed free surfaces. For each time step, semiLagrangian contouring computes a new fluid boundary (represented as ...
134
click to vote
CANDC
2005
ACM
15 years 5 months ago
2005
ACM
A prototype system for the automatic evolution of biomimetic structures using structural automata is described and its utility for generating digital sculpture is demonstrated. Sc...
145
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
143
click to vote
USITS
2001
15 years 5 months ago
2001
Ubiquitous access to sophisticated internet services from diverse end devices across heterogeneous networks requires the injection of additional functionality into the network to ...