6045 search results - page 352 / 1209 » Computable Linearizations of Well-partial-orderings |
210
Voted
CAV
2001
Springer
16 years 2 days ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
215
click to vote
CVPR
2010
IEEE
15 years 12 months ago
2010
IEEE
Kernel methods provide an efficient mechanism to derive nonlinear algorithms. In classification problems as well as in feature extraction, kernel-based approaches map the original...
234
click to vote
ICCV
1999
IEEE
15 years 12 months ago
1999
IEEE
We show that the set of all ow- elds in a sequence of frames imaging a rigid scene resides in a lowdimensional linear subspace. Based on this observation, we develop a method for ...
266
click to vote
CAV
1999
Springer
15 years 12 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
214
click to vote
TVCG
1998
15 years 7 months ago
1998
We describe the design and implementation of a videobasedaugmentedreality system capableof overlayingthreedimensional graphical objects on live video of dynamic environments. The ...