9521 search results - page 216 / 1905 » Compiling with continuations, continued |
FSR
2005
Springer
16 years 1 days ago
2005
Springer
157
click to vote
HYBRID
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We study continuous-time switched linear systems with unobserved and exogenous mode signals. We analyze the observability of the initial state and initial mode under arbi...
161
click to vote
SAT
2005
Springer
16 years 7 hour ago
2005
Springer
Many current local search algorithms for SAT fall into one of two classes. Random walk algorithms such as Walksat/SKC, Novelty+ and HWSAT are very successful but can be trapped for...