Sciweavers

2867 search results - page 461 / 574
» Effectiveness of Index Expressions
Sort
View

Publication
338views
15 years 8 months ago
Shape from Shading with a Generalized Reflectance Map Model
Most conventional SFS (shape from shading) algorithms have been developed under three basic assumptions on surface properties and imaging geometry to simplify the problem, namely, ...
Kyoung Mu Lee (Seoul National University), C.-C. J...
ESOP
2010
Springer
15 years 7 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
ICCD
2001
IEEE
213views Hardware» more  ICCD 2001»
15 years 6 months ago
Analysis and Reduction of Capacitive Coupling Noise in High-Speed VLSI Circuits
Abstract-- Scaling the minimum feature size of VLSI circuits to sub-quarter micron and its clock frequency to 2GHz has caused crosstalk noise to become a serious problem, that degr...
Payam Heydari, Massoud Pedram
MMM
2009
Springer
126views Multimedia» more  MMM 2009»
15 years 6 months ago
A User Experience Model for Home Video Summarization
In this paper, we propose a novel system for automatically summarizing home videos based on a user experience model. The user experience model takes account of user’s spontaneous...
Wei-Ting Peng, Wei-Jia Huang, Wei-Ta Chu, Chien-Na...
SAC
2010
ACM
15 years 4 months ago
Modeling the variability of architectural patterns
Architectural patterns provide proven solutions to recurring design problems that arise in a system context. A major challenge for modeling patterns in a system design is effectiv...
Ahmad Waqas Kamal, Paris Avgeriou