10790 search results - page 1825 / 2158 » Using feature models to automate model transformations |
172
click to vote
MMDB
2003
ACM
15 years 12 months ago
2003
ACM
Recent research effort in Content-Based Image Retrieval (CBIR) focuses on bridging the gap between low-level features and highlevel semantic contents of images as this gap has bec...
155
click to vote
SIGGRAPH
1999
ACM
15 years 11 months ago
1999
ACM
We introduce a new concept for accelerating realistic image synthesis algorithms. At the core of this procedure is a novel physical error metric that correctly predicts the percep...
195
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
177
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Learning, planning, and representing knowledge in large state t multiple levels of temporal abstraction are key, long-standing challenges for building flexible autonomous agents. ...
202
click to vote
TVLSI
2002
15 years 6 months ago
2002
Abstract--This paper provides a high level survey of the increasing effects of on-chip inductance. These effects are classified into desirable and nondesirable effects. Among the u...