4609 search results - page 580 / 922 » Automatic Generation of Sigma-Protocols |
151
click to vote
MUM
2005
ACM
16 years 9 days ago
2005
ACM
We present a method that preserves the recognizability of key object interactions in a vector animation. The method allows an artist to author an animation once, and then output i...
205
click to vote
WWW
2005
ACM
16 years 9 days ago
2005
ACM
We propose a technique for the automated synthesis of new comeb services. Given a set of abstract BPEL4WS descriptions of component services, and a composition requirement, we aut...
166
click to vote
AIME
2005
Springer
16 years 8 days ago
2005
Springer
Evidence-based clinical guidelines require frequent updates due to research and technology advances. The quality of guideline updates can be improved if the knowledge underlying th...
172
click to vote
AIRS
2005
Springer
16 years 8 days ago
2005
Springer
This paper explores the integration of textual and visual information for cross-language image retrieval. An approach which automatically transforms textual queries into visual rep...
131
click to vote
COSIT
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This paper complements landmark research with an approach to formalize the structural salience of objects along routes. The aim is to automatically integrate salient obje...