667 search results - page 18 / 134 » Exceptions for Algorithmic Skeletons |
135
Voted
MPC
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. This paper is about exceptions handling using classical techniques of program extraction. We propose an impredicative formalization in the calculus of constructions and w...
88
Voted
SIGDIAL
2010
15 years 14 days ago
2010
Van der Sandt's algorithm for handling presupposition is based on a "presupposition as anaphora" paradigm and is expressed in the realm of Kamp's DRT. In recen...
117
Voted
SMI
2008
IEEE
15 years 9 months ago
2008
IEEE
Medical imaging has produced a large number of volumetric images capturing biological structures in 3D. Computer-based understanding of these structures can often benefit from th...
149
Voted
SMI
2010
IEEE
15 years 29 days ago
2010
IEEE
—We present an algorithm for curve skeleton extraction via Laplacian-based contraction. Our algorithm can be applied to surfaces with boundaries, polygon soups, and point clouds....
100
Voted
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Exception handling and replication are two mechanisms that increase software reliability. Exception handling helps programmers control situations in which the normal flow of a pro...