3256 search results - page 353 / 652 » Applications of Formal Methods to System Design and Verifica... |
184
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
148
click to vote
ISMAR
2006
IEEE
16 years 20 days ago
2006
IEEE
Marker-based optical tracking systems are widely used in augmented reality, medical navigation and industrial applications. We propose a model for the prediction of the target reg...
184
click to vote
AFP
2004
Springer
16 years 1 days ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
169
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
1 We propose a principled method for designing high level features for photo quality assessment. Our resulting system can classify between high quality professional photos and low...
315
click to vote
OOPSLA
2004
Springer
16 years 9 hour ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...