152 search results - page 3 / 31 » A Unifying Approach to Goal-Directed Evaluation |
CONCUR
2008
Springer
13 years 9 months ago
2008
Springer
In this paper, we present a unified approach to evaluating the relative expressive power of process calculi. In particular, we identify a small set of criteria (that have already b...
IPMI
2005
Springer
14 years 8 months ago
2005
Springer
The non-rigid registration of a group of images shares a common feature with building a model of a group of images: a dense, consistent correspondence across the group. Image regis...
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
We propose a novel numerical approach for solving the free-form deformable registration problem. The central idea is to utilize the well understood techniques from variational def...
WWW
2009
ACM
14 years 2 months ago
2009
ACM
: This talk describes a research project exploring new ways for augmenting search using multiple types and sources of social information. Our goal is to allow searching for all obj...
EMSOFT
2007
Springer
13 years 11 months ago
2007
Springer
This paper deals with energy-aware real-time system scheduling using dynamic voltage scaling (DVS) for energy-constrained embedded systems that execute variable and unpredictable ...