667 search results - page 18 / 134 » Exceptions for Algorithmic Skeletons |
MPC
1995
Springer
14 years 13 days 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...
SIGDIAL
2010
13 years 6 months 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...
SMI
2008
IEEE
14 years 3 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...
SMI
2010
IEEE
13 years 7 months 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....
SIGSOFT
2008
ACM
14 years 9 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...