1818 search results - page 120 / 364 » Granularity-Adaptive Proof Presentation |
GI
2009
Springer
13 years 7 months ago
2009
Springer
: As the mobile phone's camera is becoming the most widely available consumer tool for media creation it also opens new possibilities for casual and social form of mobile gami...
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
In this paper, we present a general algebraic framework for analysing decentralized control systems. We consider systems defined by linear fractional functions over a commutative ...
CORR
2011
Springer
13 years 5 months ago
2011
Springer
A triangulation of a surface is irreducible if no edge can be contracted to produce a triangulation of the same surface. In this paper, we investigate irreducible triangulations o...
TCS
2011
13 years 5 months ago
2011
This paper presents a 1D intrinsically universal cellular automaton with four states for a first neighbors neighborhood, improving on the previous lower bound and getting nearer ...
ECEASST
2010
13 years 5 months ago
2010
Abstract. We present Local Church-Rosser, Parallelism, and Concurrency Theorems for rules with nested application conditions in the framework of weak adhesive HLR categories includ...