4609 search results - page 537 / 922 » Automatic Generation of Sigma-Protocols |
213
click to vote
ICPPW
2005
IEEE
16 years 12 days ago
2005
IEEE
High-performance computing is essential for solving large problems and for reducing the time to solution for a single problem. Current top high-performance computing systems conta...
197
click to vote
JCDL
2005
ACM
16 years 11 days ago
2005
ACM
Our system suggests likely identity labels for photographs in a personal photo collection. Instead of using face recognition techniques, the system leverages automatically availab...
222
click to vote
AIRS
2005
Springer
16 years 10 days ago
2005
Springer
Voluminous medical images are generated daily. They are critical assets for medical diagnosis, research, and teaching. To facilitate automatic indexing and retrieval of large medic...
181
click to vote
EUROPAR
2005
Springer
16 years 10 days ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
188
click to vote
ICLP
2005
Springer
16 years 9 days ago
2005
Springer
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...