4985 search results - page 477 / 997 » Observation of String-Rewriting Systems |
204
click to vote
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper camera pose control for optimizing multiview distributed video coding is considered. The scenario considered is that multiple agents with monocular cameras observe a ...
191
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Contradiction is often seen as a defect of intelligent systems and a dangerous limitation on efficiency. In this paper we raise the question of whether, on the contrary, it could ...
149
click to vote
ENTCS
2008
15 years 7 months ago
2008
Esterel is an imperative synchronous programming language for the specification of deterministic concurrent reactive systems. While providing the usual control-flow constructs--se...
185
click to vote
ENTCS
2006
15 years 7 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
169
click to vote
COMPLEXITY
2007
15 years 7 months ago
2007
Since its application to systems, emergence has been explained in terms of levels of observation. This approach has led to confusion, contradiction, incoherence and at times mysti...