4099 search results - page 311 / 820 » A Framework for Interactive Proof |
185
click to vote
SC
2005
ACM
16 years 6 days ago
2005
ACM
— SPICE aims to understand the vital process of translocation of biomolecules across protein pores by computing the free energy profile of the translocating biomolecule along th...
160
click to vote
MICCAI
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Snakes have become a standard image analysis technique with several variants now in common use. We have developed a software package called “United Snakes”. It unifi...
184
click to vote
ECOOP
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
335
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Multiple surface searching with only image intensity information is a difficult job in the presence of high noise and weak edges. We present in this paper a novel method for global...
190
click to vote
DGO
2007
15 years 8 months ago
2007
Government e-services available to citizens represent one of the most frequent and critical points of contact between public administrations and citizens. In addition to common se...