7167 search results - page 334 / 1434 » A Technique for Invariant Generation |
198
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
Most robotic vision algorithms have been proposed by envisaging robots operating in industrial environments, where the world is assumed to be static and rigid. These algorithms ca...
191
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
Traces Kuntal Nanshi, Fabio Somenzi University of Colorado at Boulder ne abstraction refinement and simulation to provide a more efficient approach to checking invariant properti...
178
click to vote
ICML
2007
IEEE
16 years 8 months ago
2007
IEEE
Basis functions derived from an undirected graph connecting nearby samples from a Markov decision process (MDP) have proven useful for approximating value functions. The success o...
236
click to vote
ISBI
2006
IEEE
16 years 8 months ago
2006
IEEE
Tagged Magnetic Resonance Imaging (MRI) is currently the reference MR modality for myocardial motion and strain analysis. Mutual Information (MI) based non rigid registration has ...
159
click to vote
ESOP
2010
Springer
16 years 5 months ago
2010
Springer
Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in intera...