708 search results - page 43 / 142 » Computational Law |
107
click to vote
AUTOMATICA
2008
14 years 12 months ago
2008
This article introduces results on the control of gene networks, in the context of piecewise-affine models. We propose an extension of this well-documented class of models, where ...
CORR
2006
Springer
14 years 12 months ago
2006
Springer
Abstract. Emergence--macro-level effects from micro-level causes--is at the heart of the conflict between reductionism and functionalism. How can there be autonomous higher level l...
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
— In this note, we present initial results towards developing a distributed algorithm for repairing topological holes in the sensor cover of a mobile robot team. Central to our a...
EGOV
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. If co-operating government agencies reside in different countries, they will differ in many respects: administrative ontologies and laws, political context, administrativ...
107
click to vote
ICALP
2003
Springer
15 years 5 months ago
2003
Springer
We study the behavioural theory of Cardelli and Gordon’s Mobile Ambients. We give an lts based operational semantics, and a labelled bisimulation based equivalence that coincide...