2272 search results - page 109 / 455 » Validity Invariants and Effects |
DAC
2006
ACM
14 years 11 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...
ICML
2007
IEEE
14 years 11 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...
ICIAP
2007
ACM
14 years 10 months ago
2007
ACM
This paper presents a video stabilization algorithm based on the extraction and tracking of Scale Invariant Feature Transform features through video frames. Implementation of SIFT...
ICMCS
2008
IEEE
14 years 4 months ago
2008
IEEE
Image matching is a fundamental task of many problems in computer vision. This paper presents a novel local feature descriptor based on the gradient distance and orientation histo...
ICPR
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, we bring out a new density-based clustering initialization algorithm which is invariant to the scale factor. Instead of using the scale factor while the cluster ini...