Sciweavers

4355 search results - page 655 / 871
» From Interpretation to Compilation
Sort
View
ATAL
2004
Springer
15 years 9 months ago
Protocol Based Communication for Situated Multi-Agent Systems
In this paper we introduce a model for direct communication in situated multi-agent systems. Direct communication is typically associated with cognitive agents, where the informat...
Danny Weyns, Elke Steegmans, Tom Holvoet
ASWC
2006
Springer
15 years 9 months ago
Web Services Analysis: Making Use of Web Service Composition and Annotation
Automated Web service composition and automated Web service annotation could be seen as complimentary methodologies. While automated annotation allows to extract Web service semant...
Peep Küngas, Mihhail Matskin
CLUSTER
2004
IEEE
15 years 9 months ago
A client-centric grid knowledgebase
Grid computing brings with it additional complexities and unexpected failures. Just keeping track of our jobs traversing different grid resources before completion can at times be...
George Kola, Tevfik Kosar, Miron Livny
ATVA
2006
Springer
99views Hardware» more  ATVA 2006»
15 years 9 months ago
Whodunit? Causal Analysis for Counterexamples
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gup...
CVPR
2004
IEEE
15 years 9 months ago
Modeling Complex Motion by Tracking and Editing Hidden Markov Graphs
In this paper, we propose a generative model for representing complex motion, such as wavy river, dancing fire and dangling cloth. Our generative method consists of four component...
Yizhou Wang, Song Chun Zhu