Sciweavers

4150 search results - page 626 / 830
» A Practical Approach to Model Extension
Sort
View
CORR
2010
Springer
130views Education» more  CORR 2010»
15 years 1 months ago
Ontology-based Queries over Cancer Data
The ever-increasing amount of data in biomedical research, and in cancer research in particular, needs to be managed to support efficient data access, exchange and integration. Exi...
Alejandra González Beltrán, Ben Tagg...
JAIR
2010
130views more  JAIR 2010»
14 years 11 months ago
Interactive Cost Configuration Over Decision Diagrams
In many AI domains such as product configuration, a user should interactively specify a solution that must satisfy a set of constraints. In such scenarios, offline compilation of ...
Henrik Reif Andersen, Tarik Hadzic, David Pisinger
LPAR
2012
Springer
13 years 12 months ago
Lazy Abstraction with Interpolants for Arrays
traction with Interpolants for Arrays Francesco Alberti1 , Roberto Bruttomesso2 , Silvio Ghilardi2 , Silvio Ranise3 , Natasha Sharygina1 1 Universit`a della Svizzera Italiana, Luga...
Francesco Alberti, Roberto Bruttomesso, Silvio Ghi...
CVPR
2008
IEEE
16 years 6 months ago
Learning patch correspondences for improved viewpoint invariant face recognition
Variation due to viewpoint is one of the key challenges that stand in the way of a complete solution to the face recognition problem. It is easy to note that local regions of the ...
Ahmed Bilal Ashraf, Simon Lucey, Tsuhan Chen
CVPR
2008
IEEE
16 years 6 months ago
Object recognition and segmentation by non-rigid quasi-dense matching
In this paper, we present a non-rigid quasi-dense matching method and its application to object recognition and segmentation. The matching method is based on the match propagation...
Esa Rahtu, Janne Heikkilä, Juho Kannala, Sami...