415 search results - page 47 / 83 » Regular Processes and Timed Automata |
126
click to vote
ICST
2009
IEEE
15 years 8 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
121
click to vote
CIE
2007
Springer
15 years 8 months ago
2007
Springer
The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the Church-Turing thesis. The theory of co...
207
click to vote
ICIP
1994
IEEE
15 years 6 months ago
1994
IEEE
The two main plagues of image restoration are oscillations and smoothing. Traditional image restoration techniques prevent parasitic oscillations by resorting to smooth regulariza...
125
click to vote
ICDM
2010
IEEE
14 years 12 months ago
2010
IEEE
How do connected components evolve? What are the regularities that govern the dynamic growth process and the static snapshot of the connected components? In this work, we study pat...
145
click to vote
CAV
2000
Springer
15 years 6 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...