1929 search results - page 256 / 386 » Change Propagation Analysis Using Domain Information |
265
Voted
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
143
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract— While the most accurate solution to off-line structure from motion (SFM) problems is undoubtedly to extract as much correspondence information as possible and perform g...
144
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Many successful feature detectors and descriptors exist for 2D intensity images. However, obtaining the same effectiveness in the domain of 3D objects has proven to be a more elusi...
133
click to vote
SOUPS
2010
ACM
15 years 8 months ago
2010
ACM
Text-based passwords are still the most commonly used authentication mechanism in information systems. We took advantage of a unique opportunity presented by a significant change...
158
click to vote
AGTIVE
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. In the paper Support for Design Patterns through Graph Transformation Tools in this volume, we have already outlined the global structure of a tool that allows for the an...