9521 search results - page 216 / 1905 » Compiling with continuations, continued |
FSR
2005
Springer
15 years 9 months ago
2005
Springer
118
click to vote
HYBRID
2005
Springer
15 years 9 months 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...
86
Voted
ISAAC
2005
Springer
15 years 9 months ago
2005
Springer
MFCS
2005
Springer
15 years 9 months ago
2005
Springer
123
Voted
SAT
2005
Springer
15 years 8 months 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...