Sciweavers

373 search results - page 50 / 75
» On the Iterated Hairpin Completion
Sort
View
CSL
2004
Springer
15 years 11 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 11 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 11 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 11 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 11 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