551 search results - page 103 / 111 » Using Model Checking for Reducing the Cost of Test Generatio... |
TIP
2010
13 years 3 months ago
2010
This paper presents a new approach to single-image superresolution, based on sparse signal representation. Research on image statistics suggests that image patches can be wellrepre...
JSW
2007
13 years 8 months ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
JUCS
2002
13 years 8 months ago
2002
The main goal of this research is to improve Information Retrieval Systems by enabling them to generate search outcomes that are relevant and customized to each specific user. Our ...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
We demonstrate a flight meta-search engine that is based on the Metamorph framework. Metamorph provides mechanisms to model web forms together with the interactions which are need...
ICASSP
2010
IEEE
13 years 9 months ago
2010
IEEE
A key step in distributed video coding is the generation of the side information (SI) i.e. the estimation of the Wyner-Ziv frame (WZF). This step is also frequently called image i...