8587 search results - page 132 / 1718 » Interactive dynamic abstraction |
LICS
2012
IEEE
12 years 2 days ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
WEBI
2005
Springer
14 years 3 months ago
2005
Springer
Inter-organizational business processes usually require complex and time-consuming interactions between partners than simple interactions supported by WSDL. Automated reconciliati...
CGI
2001
IEEE
14 years 1 months ago
2001
IEEE
This paper presents ways of approaching the design of successful character-based interactive installations. We rationalize our arguments within the context of both Disney's &...
VMV
2004
13 years 11 months ago
2004
We present a system for the interactive navigation through high-resolution cylindrical panoramas. The system is based on MPEG-4 and describes the virtual world by the scene descri...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
This paper reports on the RICA−J multiagent programming framework, which provides executable constructs for each of the organizational, ACL-based modelling abstractions of the R...