Sciweavers

11394 search results - page 191 / 2279
» Error-Correcting Data Structures
Sort
View
127
Voted
TVCG
1998
125views more  TVCG 1998»
15 years 3 months ago
Structure-Significant Representation of Structured Datasets
—Numerical simulation of physical phenomena is now an accepted way of scientific inquiry. However, the field is still evolving, with a profusion of new solution and grid-generati...
Raghu Machiraju, Zhifan Zhu, Bryan Fry, Robert J. ...
131
Voted
EUROCAST
2007
Springer
108views Hardware» more  EUROCAST 2007»
15 years 7 months ago
Pattern-Based Verification for Trees
Abstract. Pattern-based verification trying to abstract away the concrete number of repeated memory structures is one of the approaches that have recently been proposed for verific...
Milan Ceska, Pavel Erlebach, Tomás Vojnar
121
Voted
BMCBI
2004
127views more  BMCBI 2004»
15 years 3 months ago
MolTalk - a programming library for protein structures and structure analysis
Background: Two of the mostly unsolved but increasingly urgent problems for modern biologists are a) to quickly and easily analyse protein structures and b) to comprehensively min...
Alexander V. Diemand, Holger Scheib
AMDO
2006
Springer
15 years 7 months ago
Finding Articulated Body in Time-Series Volume Data
This paper presents a new scheme for acquiring 3D kinematic structure and motion from time-series volume data, in particular, focusing on human body. Our basic strategy is to first...
Tomoyuki Mukasa, Shohei Nobuhara, Atsuto Maki, Tak...
136
Voted
FINTAL
2006
15 years 7 months ago
Coordination Structures in a Typed Feature Structure Grammar: Formalization and Implementation
Abstract. Every language employs its own coordination strategies, according to the type of coordinating marking, the pattern of marking, the position of the marker, and the phrase ...
Jong-Bok Kim, Jaehyung Yang