Sciweavers

593 search results - page 32 / 119
» Semantics-Preserving Procedure Extraction
Sort
View
153
Voted
LOPSTR
2000
Springer
15 years 6 months ago
A formal framework for synthesis and verification of logic programs
In this paper we will present a formal framework, based on the notion of extraction calculus, which has been successfully applied to define procedures for extracting information fr...
Alessandro Avellone, Mauro Ferrari, Camillo Fioren...
PICS
2000
15 years 4 months ago
Data Embedding Using Phase Dispersion
A method of data embedding based on the convolution of message data with a random phase carrier is presented. The theory behind this method is reviewed and it is shown that the te...
Chris Honsinger
WSCG
2004
282views more  WSCG 2004»
15 years 4 months ago
High-Quality Silhouette Illustration for Texture-Based Volume Rendering
We present an accurate, interactive silhouette extraction mechanism for texture-based volume rendering. Compared to previous approaches, our system guarantees silhouettes of a use...
Zoltán Nagy, Reinhard Klein
VLDB
2001
ACM
143views Database» more  VLDB 2001»
15 years 7 months ago
Supervised Wrapper Generation with Lixto
We illustrate basic features of the Lixto wrapper generator such as the user and system interaction, the capacious visual interface, the marking and selecting procedures, and the ...
Robert Baumgartner, Sergio Flesca, Georg Gottlob
ICPR
2006
IEEE
16 years 4 months ago
Shape-based Discrimination and Classification of Cortical Surfaces
Advances in medical imaging technique make it possible to study shape variations of neuroanatomical structures in vivo, which has been proved useful in the study of neuropathology...
Arthur K. Liu, Bruce Fischl, Florent Ségonn...