8701 search results - page 1403 / 1741 » XML-Based Feature Modelling |
155
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
149
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
In matching tasks in computer vision, and particularly in real-time tracking from video, there are generally strong priors available on absolute and relative correspondence locati...
192
click to vote
PAKDD
2009
ACM
15 years 11 months ago
2009
ACM
It is a challenging and important task to retrieve images from a large and highly varied image data set based on their visual contents. Problems like how to fill the semantic gap b...
139
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
146
Voted
JCDL
2009
ACM
15 years 11 months ago
2009
ACM
Users of digital libraries usually want to know the exact author or authors of an article. But different authors may share the same names, either as full names or as initials and...