Sciweavers

401 search results - page 15 / 81
» Synthesis from Component Libraries
Sort
View
ICSE
2010
IEEE-ACM
14 years 1 months ago
Oracle-guided component-based program synthesis
We present a novel approach to automatic synthesis of loopfree programs. The approach is based on a combination of oracle-guided learning from examples, and constraint-based synth...
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashis...
CIVR
2008
Springer
181views Image Analysis» more  CIVR 2008»
13 years 10 months ago
Supporting video library exploratory search: when storyboards are not enough
Storyboards, a grid layout of thumbnail images as surrogates representing video, have received much attention in video retrieval interfaces and published studies through the years...
Michael G. Christel
KBSE
2007
IEEE
14 years 3 months ago
Automated detection of api refactorings in libraries
Software developers often do not build software from scratch but reuse software libraries. In theory, the APIs of a library should be stable, but in practice they do change and th...
Kunal Taneja, Danny Dig, Tao Xie
ICIP
2007
IEEE
14 years 3 months ago
Face Recognition using a Fast Model Synthesis from a Profile and a Frontal View
In our previous work we presented a new 2D-3D mixed face recognition scheme called Partial Principal Component Analysis (P2 CA) [1]. The main contribution of P2 CA is that it uses...
Antonio Rama, Francesc Tarres
EUROPAR
2010
Springer
13 years 10 months ago
Profile-Driven Selective Program Loading
Abstract. Complex software systems use many shared libraries frequently composed of large off-the-shelf components. Only a limited number of functions are used from these shared li...
Tugrul Ince, Jeffrey K. Hollingsworth