12 search results - page 1 / 3 » Generic Tools via General Refinement |
ENTCS
2008
13 years 4 months ago
2008
CVIU
2006
13 years 4 months ago
2006
We introduce a generic structure-from-motion approach based on a previously introduced, highly general imaging model, where cameras are modeled as possibly unconstrained sets of p...
ICSE
2003
IEEE-ACM
13 years 10 months ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
ECOOP
2011
Springer
12 years 4 months ago
2011
Springer
Object ownership is useful for many applications, including program verification, thread synchronization, and memory management. However, the annotation overhead of ownership type...
MM
2005
ACM
13 years 10 months ago
2005
ACM
The authors developed an extensible system for video exploitation that puts the user in control to better accommodate novel situations and source material. Visually dense displays...