1839 search results - page 179 / 368 » Models of Coordination |
ATAL
2005
Springer
14 years 4 months ago
2005
Springer
This work focuses on an emerging extension to traditional agent models, called Hierarchical Mobile Agents model, where an agent can contain other agents recursively. The model ena...
ECCV
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. We propose a novel method for unsupervised class segmentation on a set of images. It alternates between segmenting object instances and learning a class model. The method...
PGLDB
2003
14 years 12 hour ago
2003
This paper describes an on-going effort to investigate problems and approaches for achieving Web-service-based, dynamic and collaborative e-learning. In this work, a Learning Cont...
CONCUR
2008
Springer
14 years 13 days ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...
LICS
1994
IEEE
14 years 2 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...