8587 search results - page 132 / 1718 » Interactive dynamic abstraction |
172
click to vote
LICS
2012
IEEE
13 years 6 months 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...
118
Voted
WEBI
2005
Springer
15 years 9 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...
100
Voted
CGI
2001
IEEE
15 years 7 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 &...
137
Voted
VMV
2004
15 years 5 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...
115
click to vote
ATAL
2005
Springer
15 years 9 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...