3951 search results - page 241 / 791 » Automatic amortized analysis |
161
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Abstract. This paper introduces a novel groupwise data-driven algorithm for non-rigid registration. The motivation behind the algorithm is to enable the analysis of groups of regis...
163
click to vote
SEMCO
2008
IEEE
16 years 28 days ago
2008
IEEE
We present Optima, a state of the art general purpose tool for ontology alignment that automatically identifies and matches relevant concepts between ontologies. The tool is supp...
148
click to vote
MM
2006
ACM
16 years 15 days ago
2006
ACM
Widespread adoption of interactive, peer-to-peer digital media will require a solution to the Privacy, Sharing, and Interest (PSI) problem: how can we know what the user wants to ...
155
click to vote
APLAS
2005
ACM
16 years 3 days ago
2005
ACM
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method...
147
click to vote
AIED
2005
Springer
16 years 3 days ago
2005
Springer
As web-enhanced courses become more successful, they put considerable burdens on instructors and teaching assistants. We present our work on developing software tools to support in...