Sciweavers

3058 search results - page 398 / 612
» Reflections
Sort
View
COORDINATION
2006
Springer
15 years 10 months ago
Compositional Semantics of an Actor-Based Language Using Constraint Automata
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel ...
DAS
2006
Springer
15 years 10 months ago
Ground Truth for Layout Analysis Performance Evaluation
Over the past two decades a significant number of layout analysis (page segmentation and region classification) approaches have been proposed in the literature. Each approach has b...
Apostolos Antonacopoulos, Dimosthenis Karatzas, Da...
DEXA
2006
Springer
113views Database» more  DEXA 2006»
15 years 10 months ago
Dynamic Range Query in Spatial Network Environments
Moving range queries over mobile objects are important in many location management applications. There have been quite a few research works in this area. However, all existing solu...
Fuyu Liu, Tai T. Do, Kien A. Hua
E4MAS
2006
Springer
15 years 10 months ago
E4MAS Through Electronic Institutions
Abstract. Today, the concept of an environment for multi-agent systems is in its pioneering phase. Consequently, the development of supporting software technologies is still rather...
Josep Lluís Arcos, Pablo Noriega, Juan A. R...
ECAI
2006
Springer
15 years 10 months ago
A Multivalued Logic Model of Planning
Abstract. In this work a model for planning with multivalued fluents and graded actions, based on the infinite valued Lukasiewicz logic, is introduced. In multivalued planning, flu...
Marco Baioletti, Alfredo Milani, Valentina Poggion...