Sciweavers

578 search results - page 38 / 116
» E-Satisfaction - A Comprehensive Framework
Sort
View
ICCV
2011
IEEE
12 years 10 months ago
Fast Removal of Non-uniform Camera Shake
Camera shake leads to non-uniform image blurs. Stateof-the-art methods for removing camera shake model the blur as a linear combination of homographically transformed versions of ...
Michael Hirsch, Christian Schuler, Stefan Harmelin...
AAAI
2011
12 years 10 months ago
Global Seismic Monitoring: A Bayesian Approach
The automated processing of multiple seismic signals to detect and localize seismic events is a central tool in both geophysics and nuclear treaty verification. This paper report...
Nimar S. Arora, Stuart Russell, Paul Kidwell, Erik...
ESWS
2009
Springer
14 years 4 months ago
Ontology Evolution with Evolva
Abstract. Ontology evolution is a painstaking and time-consuming process, especially in information rich and dynamic domains. While ontology evolution refers both to the adaptation...
Fouad Zablith, Marta Sabou, Mathieu d'Aquin, Enric...
ASPDAC
2004
ACM
130views Hardware» more  ASPDAC 2004»
14 years 3 months ago
Automatic process migration of datapath hard IP libraries
— While essential for high-performance circuit design, the custom nature of datapath components confines their use in only a few microprocessor companies. The reusability of dat...
Fang Fang, Jianwen Zhu
SAT
2004
Springer
97views Hardware» more  SAT 2004»
14 years 3 months ago
Incremental Compilation-to-SAT Procedures
We focus on incremental compilation-to-SAT procedures (iCTS), a promising way to push the standard CTS approaches beyond their limits. We propose the first comprehensive framework...
Marco Benedetti, Sara Bernardini