726 search results - page 108 / 146 » A Framework for Constraint Programming Based Column Generati... |
ICIP
2007
IEEE
14 years 10 months ago
2007
IEEE
Abstract - The proposed algorithm in this work provides superresolution for color images by using a learning based technique that utilizes both generative and discriminant approach...
PPDP
2005
Springer
14 years 2 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
EDO
2000
Springer
14 years 12 days ago
2000
Springer
Abstract. This paper presents a framework that lets a component developer provide a component user with different kinds of information, depending on the specific context and needs....
RTSS
2007
IEEE
14 years 3 months ago
2007
IEEE
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...
ICASSP
2010
IEEE
13 years 9 months ago
2010
IEEE
In using image analysis to assist a driver to avoid obstacles on the road, traditional approaches rely on various detectors designed to detect different types of objects. We propo...