1884 search results - page 219 / 377 » Simple Algorithm for Simple Timed Games |
154
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
164
click to vote
EMMCVPR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper exposes a novel formulation of prior shape constraint incorporation for the level set segmentation of objects from corrupted images. Applicable to variational ...
122
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
Evaluating GP schema in context is considered to be a complex, and, at times impossible, task. The tightly linked nodes of a GP tree is the main reason behind its complexity. This...
170
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
s - For the on-line safe path planning of a mobile robot in unknown environments, the paper proposes a simple Hopfield Neural Network ( HNN ) planner. Without learning process, the...
142
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present efficient closed-form formulas to estimate capacitive coupling-induced crosstalk noise for distributed RC coupling trees. The efficiency of our approach...