Sciweavers

1226 search results - page 166 / 246
» Generating Abstractions from Static Domain Analysis
Sort
View
ECCV
2000
Springer
14 years 10 months ago
Multibody Structure and Motion: 3-D Reconstruction of Independently Moving Objects
Abstract. This paper extends the recovery of structure and motion to image sequences with several independently moving objects. The motion, structure, and camera calibration are al...
Andrew W. Fitzgibbon, Andrew Zisserman
ICCAD
2008
IEEE
99views Hardware» more  ICCAD 2008»
14 years 5 months ago
Evaluation of voltage interpolation to address process variations
Abstract— Post-fabrication tuning provides a promising design approach to mitigate the performance and power overheads of process variation in advanced fabrication technologies. ...
Kevin Brownell, Gu-Yeon Wei, David Brooks
BPM
2009
Springer
134views Business» more  BPM 2009»
14 years 2 months ago
Business Process-Based Resource Importance Determination
Abstract. Information security risk management (ISRM) heavily depends on realistic impact values representing the resources’ importance in the overall organizational context. Alt...
Stefan Fenz, Andreas Ekelhart, Thomas Neubauer
FM
2009
Springer
190views Formal Methods» more  FM 2009»
14 years 2 months ago
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu
HICSS
2005
IEEE
173views Biometrics» more  HICSS 2005»
14 years 1 months ago
Implementing Rule-Based Monitors within a Framework for Continuous Requirements Monitoring
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
William N. Robinson