Sciweavers

4966 search results - page 215 / 994
» its 2010
Sort
View
CORR
2010
Springer
88views Education» more  CORR 2010»
15 years 4 months ago
Infinite Time Cellular Automata: A Real Computation Model
We define a new transfinite time model of computation, infinite time cellular automata. The model is shown to be as powerful than infinite time Turing machines, both on finite and ...
Fabien Givors, Grégory Lafitte, Nicolas Oll...
ECEASST
2010
15 years 3 months ago
Checking Graph-Transformation Systems for Confluence
d Abstract) Detlef Plump Abstract. In general, it is undecidable whether a terminating graphtransformation system is confluent or not. We introduce the class of coverable hypergrap...
Detlef Plump
ICIP
2010
IEEE
15 years 3 months ago
Polyconvexification of the multi-label optical flow problem
In this paper the problem of optical flow and occlusion mask estimation is aborded. To that end, we consider a multi-label representation of the optical flow and we define an ener...
Nicolas Papadakis, Antonio Baeza, Pau Gargallo, Vi...
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
15 years 1 months ago
On the dissipativity of pseudorational behaviors
This paper studies dissipativity for a class of infinite-dimensional systems, called pseudorational, in the behavioral context. A basic equivalence condition for dissipativity is e...
Masaki Ogura, Yutaka Yamamoto, Jan C. Willems
CDC
2010
IEEE
105views Control Systems» more  CDC 2010»
15 years 1 months ago
Weakly pulse-coupled oscillators: Heterogeneous delays lead to homogeneous phase
This paper studies the effect of heterogenous delays in networks of weakly pulse-coupled identical oscillators. We develop a new framework to study them by constructing a non-delay...
Enrique Mallada, Ao Tang