7167 search results - page 132 / 1434 » A Technique for Invariant Generation |
166
click to vote
ICFEM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
181
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
We present a new approach to model visual scenes in image collections, based on local invariant features and probabilistic latent space models. Our formulation provides answers to...
157
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Methods based on local, viewpoint invariant features have proven capable of recognizing objects in spite of viewpoint changes, occlusion and clutter. However, these approaches fail...
224
click to vote
SUTC
2006
IEEE
16 years 10 days ago
2006
IEEE
Abstract— Sensor networks are being increasingly deployed for collecting critical data in various applications. Once deployed, a sensor network may experience faults at the indiv...
159
click to vote
HICSS
2011
IEEE
14 years 10 months ago
2011
IEEE
Idea generation techniques provide a variety of approaches for supporting an innovation process. Until recently, the space of techniques has been unstructured, and no clear guidel...