11017 search results - page 15 / 2204 » Closure Systems and their Structure |
ICALP
2010
Springer
14 years 17 days ago
2010
Springer
We show that the downward-closure of a Petri net language is effectively computable. This is mainly done by using the notions defined for showing decidability of the reachability...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Contact processes describe the transmission of distinct properties of nodes via the links of a network. They provide a simple framework for many phenomena, such as epidemic spreadi...
IJRR
2010
13 years 6 months ago
2010
This paper considers grasps and fixtures whose contacts react according to force-displacement laws consistent with friction constrains at the contacts. The passive force closure s...
FSTTCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing...
PODS
2000
ACM
14 years 4 days ago
2000
ACM
We consider spatial databases in the plane that can be defined by polynomial constraint formulas. Motivated by applications in geographic information systems, we investigate line...