3229 search results - page 433 / 646 » The Theory of Timed Automata |
135
click to vote
FIMH
2005
Springer
16 years 6 days ago
2005
Springer
We describe numerical simulations of spiral waves dynamics in the computational model of human atrial tissue with the CourtemancheRamirez-Nattel local kinetics. The spiral wave was...
160
click to vote
COMPGEOM
2004
ACM
16 years 3 days ago
2004
ACM
We propose a strategy to decompose a polygon, containing zero or more holes, into “approximately convex” pieces. For many applications, the approximately convex components of ...
183
click to vote
DIALM
2004
ACM
16 years 3 days ago
2004
ACM
In this paper, we consider energy-efficient gathering of correlated data in sensor networks. We focus on single-input coding strategies in order to aggregate correlated data. For ...
150
click to vote
ECCV
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. One of the most difficult aspects of visual object tracking is the handling of occlusions and target appearance changes due to variations in illumination and viewing dir...
197
Voted
NMR
2004
Springer
16 years 20 hour ago
2004
Springer
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...