Sciweavers

373 search results - page 50 / 75
» On the Iterated Hairpin Completion
Sort
View
CSL
2004
Springer
15 years 3 months ago
Axioms for Delimited Continuations in the CPS Hierarchy
A CPS translation is a syntactic translation of programs, which is useful for describing their operational behavior. By iterating the standard call-by-value CPS translation, Danvy ...
Yukiyoshi Kameyama
MICAI
2004
Springer
15 years 3 months ago
An Improved ICP Algorithm Based on the Sensor Projection for Automatic 3D Registration
Three-dimensional (3D) registration is the process aligning the range data sets form different views in a common coordinate system. In order to generate a complete 3D model, we nee...
Sang-Hoon Kim, Yong Ho Hwang, Hyun-Ki Hong, Min-Hy...
SEMWEB
2004
Springer
15 years 3 months ago
GridVine: Building Internet-Scale Semantic Overlay Networks
Abstract. This paper addresses the problem of building scalable semantic overlay networks. Our approach follows the principle of data independence by separating a logical layer, th...
Karl Aberer, Philippe Cudré-Mauroux, Manfre...
SPIRE
2004
Springer
15 years 3 months ago
Evaluating Relevance Feedback and Display Strategies for Searching on Small Displays
Abstract Searching information resources using mobile devices is affected by displays on which only a small fraction of the set of ranked documents can be displayed. In this study ...
Vishwa Vinay, Ingemar J. Cox, Natasa Milic-Fraylin...
PG
2003
IEEE
15 years 3 months ago
RGVis: Region Growing Based Techniques for Volume Visualization
Interactive data visualization is inherently an iterative trial-and-error process searching for an ideal set of parameters for classifying and rendering features of interest in th...
Runzhen Huang, Kwan-Liu Ma