Sciweavers

257 search results - page 33 / 52
» Specification of Real-Time Interaction Constraints
Sort
View
AAAI
2006
15 years 1 months ago
Decision Making in Uncertain Real-World Domains Using DT-Golog
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...
Mikhail Soutchanski, Huy Pham, John Mylopoulos
AIPS
2000
15 years 1 months ago
Vision-Servoed Localization and Behavior-Based Planning for an Autonomous Quadruped Legged Robot
Planning for real robots to act in dynamic and uncertain environments is a challenging problem. A complete model of the world is not viable and an integration of deliberation and ...
Manuela M. Veloso, Elly Winner, Scott Lenser, Jame...
JSS
2008
122views more  JSS 2008»
14 years 10 months ago
Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
Vahid Garousi, Lionel C. Briand, Yvan Labiche
75
Voted
ECAI
2010
Springer
14 years 9 months ago
Behavior-Oriented Commitment-based Protocols
Ever since the seminal work of Searle, two components of interaction protocols have been identified: constitutive rules, defining the meaning of actions and regulative rules, defin...
Matteo Baldoni, Cristina Baroglio, Elisa Marengo
96
Voted
CHI
2009
ACM
16 years 10 days ago
Aurally and visually enhanced audio search with soundtorch
Finding a specific or an artistically appropriate sound in a vast collection comprising thousands of audio files containing recordings of, say, footsteps, gunshots, and thundercla...
Sebastian Heise, Michael Hlatky, Jörn Lovisca...