Sciweavers

963 search results - page 31 / 193
» Actors as a Coordinating Model of Computation
Sort
View
EMSOFT
2007
Springer
15 years 6 months ago
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...
Edward A. Lee, Haiyang Zheng
AAAI
2006
15 years 1 months ago
Diagnosis of Multi-Robot Coordination Failures Using Distributed CSP Algorithms
With increasing deployment of systems involving multiple coordinating agents, there is a growing need for diagnosing coordination failures in such systems. Previous work presented...
Meir Kalech, Gal A. Kaminka, Amnon Meisels, Yehuda...
JUCS
2008
276views more  JUCS 2008»
14 years 11 months ago
Model-Driven Approach to Design User Interfaces for Workflow Information Systems
: Many methods in the area of Human-Computer Interaction have been developed for deriving user interfaces considering individual users. However, nowadays information systems includ...
Josefina Guerrero García, Christophe Lemaig...
ATAL
2008
Springer
15 years 1 months ago
An approach to online optimization of heuristic coordination algorithms
Due to computational intractability, large scale coordination algorithms are necessarily heuristic and hence require tuning for particular environments. In domains where character...
Jumpol Polvichai, Paul Scerri, Michael Lewis
WACV
2012
IEEE
13 years 7 months ago
Simultaneous inference of activity, pose and object
Human movements are important cues for recognizing human actions, which can be captured by explicit modeling and tracking of actor or through space-time low-level features. Howeve...
Furqan M. Khan, Vivek Kumar Singh, Ram Nevatia