1884 search results - page 219 / 377 » Simple Algorithm for Simple Timed Games |
168
click to vote
CAV
2005
Springer
16 years 10 days 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...
174
click to vote
EMMCVPR
2005
Springer
16 years 9 days 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 ...
131
click to vote
GECCO
2005
Springer
16 years 9 days 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...
183
click to vote
ICRA
2003
IEEE
16 years 2 days 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...
150
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...