Sciweavers

1523 search results - page 124 / 305
» Partially ordered secretaries
Sort
View
SLP
1994
77views more  SLP 1994»
15 years 6 months ago
Modal Event Calculus
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
Iliano Cervesato, Luca Chittaro, Angelo Montanari
IJRR
2008
100views more  IJRR 2008»
15 years 5 months ago
Comparing the Power of Robots
Robots must complete their tasks in spite of unreliable actuators and limited, noisy sensing. In this paper, we consider the information requirements of such tasks. What sensing a...
Jason M. O'Kane, Steven M. LaValle
ENTCS
2007
126views more  ENTCS 2007»
15 years 5 months ago
Modelling Calculi with Name Mobility using Graphs with Equivalences
In the theory of graph rewriting, the use of coalescing rules, i.e., of rules which besides deleting and generating graph items, can coalesce some parts of the graph, turns out to...
Paolo Baldan, Fabio Gadducci, Ugo Montanari
FUIN
2007
95views more  FUIN 2007»
15 years 5 months ago
Compositional Systems over Reducible Networks
Abstract. In the paper two notions related to local (distributed) computations are identified and discussed. The first one is the notion of reducible graphs. A graph is reducible...
Antoni W. Mazurkiewicz
ALIFE
2005
15 years 5 months ago
Levels of Description: A Novel Approach to Dynamical Hierarchies
We present a novel formal interpretation of dynamical hierarchies based on information theory, in which each level is a near-state-determined system, and levels are related to one ...
Simon McGregor, Chrisantha Fernando