2465 search results - page 223 / 493 » Automata on Linear Orderings |
CAV
1998
Springer
15 years 4 months ago
1998
Springer
This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...
137
click to vote
ASC
2007
15 years 24 days ago
2007
Stability is one of the most important subjects in control systems. As for the stability of nonlinear dynamical systems, Lyapunov’s direct method and linearized stability analys...
109
Voted
APPROX
2009
Springer
15 years 7 months ago
2009
Springer
Property testing is concerned with deciding whether an object (e.g. a graph or a function) has a certain property or is “far” (for some definition of far) from every object w...
110
click to vote
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— Attenuation of sinusoidal disturbances with uncertain and arbitrarily time-varying frequencies is considered in the form of a generalized asymptotic regulation problem....
95
Voted
3DPVT
2006
IEEE
15 years 6 months ago
2006
IEEE
The extrinsic camera parameters from video stream images can be accurately estimated by tracking features through the image sequence and using these features to compute parameter ...