10916 search results - page 1911 / 2184 » On Constructive Connectives and Systems |
257
click to vote
ITCC
2002
IEEE
16 years 9 days ago
2002
IEEE
KBS Adaptive Hyperbook is a framework designed for modeling, organizing, and maintaining distributed hypermedia resources on the Web with the purpose of supporting Web-based dista...
182
click to vote
IWPC
2002
IEEE
16 years 9 days ago
2002
IEEE
Program understanding tools manipulate program represensuch as abstract syntax trees, control-flow graphs, or data-flow graphs. This paper deals with the use of visitor combinat...
225
click to vote
KESAMSTA
2010
Springer
16 years 5 days ago
2010
Springer
Abstract. In Multi-Agent System, observing other agents and modelling their behaviour represents an essential task: agents must be able to quickly adapt to the environment and infe...
180
click to vote
SI3D
2009
ACM
16 years 1 days ago
2009
ACM
This paper describes a data-driven approach for generating photorealistic animations of human motion. Each animation sequence follows a user-choreographed path and plays continuou...
192
click to vote
GPCE
2009
Springer
16 years 11 hour ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...