Sciweavers

1269 search results - page 86 / 254
» Multi-agent systems for the real world
Sort
View
WSCG
2001
107views more  WSCG 2001»
15 years 7 months ago
Interaction Approach for Digital Video Based Storytelling
This paper shows an approach for a storytelling oriented interaction on digital video. All the interaction capabilities of the system are driven by the video context and therefore...
Norbert Braun
MOBISYS
2007
ACM
16 years 5 months ago
NodeMD: diagnosing node-level faults in remote wireless sensor systems
Software failures in wireless sensor systems are notoriously difficult to debug. Resource constraints in wireless deployments substantially restrict visibility into the root cause...
Veljko Krunic, Eric Trumpler, Richard Han
MOBIWAC
2006
ACM
16 years 7 days ago
A totally decentralized document sharing system for mobile ad hoc networks
Many research projects have defined applications that are claimed to operate in a MANet environment. Consider for instance these software tools that make it possible to share inf...
Lionel Barrère, Arnaud Casteigts, Serge Cha...
AIPS
2010
15 years 8 months ago
Shopper: A System for Executing and Simulating Expressive Plans
We present Shopper, a plan execution engine that facilitates experimental evaluation of plans and makes it easier for planning researchers to incorporate replanning. Shopper inter...
Robert P. Goldman, John Maraist
KBSE
2007
IEEE
16 years 17 days ago
Model checking concurrent linux device drivers
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
Thomas Witkowski, Nicolas Blanc, Daniel Kroening, ...