3169 search results - page 185 / 634 » Robust Timed Automata |
91
Voted
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
We describe a SAT-solver, BerkMin, that inherits such features of GRASP, SATO, and Chaff as clause recording, fast BCP, restarts, and conflict clause “aging”. At the same time...
118
Voted
ECRTS
2002
IEEE
15 years 8 months ago
2002
IEEE
—Each processor in a uniform multiprocessor machine is characterized by a speed or computing capacity, with the interpretation that a job executing on a processor with speed s fo...
127
Voted
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— This paper presents a sufficient condition that establishes closed loop stability for linear time invariant dynamical systems with transfer functions that are analytic in the ...
143
Voted
ICRA
2000
IEEE
15 years 8 months ago
2000
IEEE
Vision feedback control loop techniques are efficient for a great class of applications but they come up against difficulties when the initial and desired positions of the camer...
130
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
We study information elicitation mechanisms in which a principal agent attempts to elicit the private information of other agents using a carefully selected payment scheme based o...