Sciweavers

4099 search results - page 495 / 820
» A Framework for Interactive Proof
Sort
View
COORDINATION
2000
Springer
15 years 11 months ago
The LuCe Coordination Technology for MAS Design and Development on the Internet
Internet-based multi-agent systems call for new metaphors, abstractions, methodologies and enabling technologies specifically tailored to agent-oriented engineering. While coordin...
Enrico Denti, Andrea Omicini, Vladimiro Toschi
VRML
1999
ACM
15 years 11 months ago
VRML Molecular Dynamics Trajectories
One application of VRML is visualisation of scientific data. Using VRML results of simulations and other scientific endeavours can be published on the web with all the advantage...
Geoff Leach, James Gilbert
AGENTS
1999
Springer
15 years 11 months ago
Where to Look? Automating Attending Behaviors of Virtual Human Characters
This research proposes a computational framework for generating visual attending behavior in an embodied simulated human agent. Such behaviors directly control eye and head motion...
Sonu Chopra-Khullar, Norman I. Badler
ICCAD
1998
IEEE
95views Hardware» more  ICCAD 1998»
15 years 11 months ago
Control generation for embedded systems based on composition of modal processes
In traditional distributed embedded system designs, control information is often replicated across several processes and kept coherent by application-specific mechanisms. Conseque...
Pai H. Chou, Ken Hines, Kurt Partridge, Gaetano Bo...
ICASSP
2009
IEEE
15 years 10 months ago
Summarization of large scale social network activity
This paper presents a novel social media summarization framework. Summarizing media created and shared in large scale online social networks unfolds challenging research problems....
Yu-Ru Lin, Hari Sundaram, Aisling Kelliher