Sciweavers

265 search results - page 48 / 53
» Abstraction as a means for end-user computing in creative ap...
Sort
View
VIS
2007
IEEE
157views Visualization» more  VIS 2007»
14 years 8 months ago
Surface Extraction from Multi-Material Components for Metrology using Dual Energy CT
Abstract-- This paper describes a novel method for creating surface models of multi-material components using dual energy computed tomography (DECT). The application scenario is me...
Christoph Heinzl, Johann Kastner, Eduard Grölle...
ECOOP
2006
Springer
13 years 11 months ago
Demeter Interfaces: Adaptive Programming Without Surprises
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...
Therapon Skotiniotis, Jeffrey Palm, Karl J. Lieber...
ICRA
2010
IEEE
158views Robotics» more  ICRA 2010»
13 years 6 months ago
Real-time monocular SLAM: Why filter?
Abstract— While the most accurate solution to off-line structure from motion (SFM) problems is undoubtedly to extract as much correspondence information as possible and perform g...
Hauke Strasdat, J. M. M. Montiel, Andrew J. Daviso...
SAS
2010
Springer
140views Formal Methods» more  SAS 2010»
13 years 5 months ago
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
Christophe Alias, Alain Darte, Paul Feautrier, Lau...
MICCAI
2009
Springer
14 years 8 months ago
Topological Characterization of Signal in Brain Images Using Min-Max Diagrams
Abstract. We present a novel computational framework for characterizing signal in brain images via nonlinear pairing of critical values of the signal. Among the astronomically larg...
Moo K. Chung, Vikas Singh, Peter T. Kim, Kim M....