Sciweavers

60 search results - page 6 / 12
» escape 2007
Sort
View
ESCAPE
2007
Springer
228views Algorithms» more  ESCAPE 2007»
14 years 4 months ago
Online Capacitated Interval Coloring
Abstract. In the online capacitated interval coloring problem, a sequence of requests arrive online. Each of the requests is an interval Ij ⊆ {1, 2, . . . , n} with bandwidth bj....
Leah Epstein, Thomas Erlebach, Asaf Levin
BC
2005
98views more  BC 2005»
13 years 9 months ago
Integrating behavioral and neural data in a model of zebrafish network interaction
The spinal neural networks of larval zebrafish (Danio rerio) generate a variety of movements such as escape, struggling, and swimming. Various mechanisms at the neural and network ...
P. Dwight Kuo, Chris Eliasmith
DATE
2007
IEEE
80views Hardware» more  DATE 2007»
14 years 4 months ago
Engineering trust with semantic guardians
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
Ilya Wagner, Valeria Bertacco
IJRR
2007
75views more  IJRR 2007»
13 years 9 months ago
Surveillance Strategies for a Pursuer with Finite Sensor Range
This paper addresses the pursuit-evasion problem of maintaining surveillance by a pursuer of an evader in a world populated by polygonal obstacles. This requires the pursuer to pl...
Rafael Murrieta-Cid, Teja Muppirala, Alejandro Sar...
IJCAI
1997
13 years 11 months ago
Hidden Gold in Random Generation of SAT Satisfiable Instances
Evaluation of incomplete algorithms that solve SAT requires to generate hard satisfiable instances. For that purpose, the kSAT uniform random generation is not usable. The other g...
Thierry Castell, Michel Cayrol