185 search results - page 22 / 37 » Invariants, Modularity, and Rights |
FOCS
2004
IEEE
13 years 11 months ago
2004
IEEE
In this work we look back into the proof of the PCP Theorem, with the goal of finding new proofs that are "more combinatorial" and arguably simpler. For that we introduc...
INFSOF
2006
13 years 7 months ago
2006
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling languag...
CVIU
2007
13 years 7 months ago
2007
We address visual perception for personal service robotic systems in the home. We start by identifying the main functional modules and their relationships. This includes self-loca...
RAS
2006
13 years 7 months ago
2006
The M-TRAN is a modular robot capable of both three-dimensional self-reconfiguration and whole body locomotion. Introducing regularity in allowed structures reduced difficulties o...
JSS
2007
13 years 7 months ago
2007
In distributed object-oriented systems, there are situations where client and server objects are deployed in the same address space. In such scenarios, it is possible to dispatch ...