Sciweavers

11231 search results - page 167 / 2247
» Digging for Data Structures
Sort
View
127
Voted
EUROCAST
2007
Springer
108views Hardware» more  EUROCAST 2007»
15 years 6 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
116
Voted
BMCBI
2004
127views more  BMCBI 2004»
15 years 2 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
112
Voted
AMDO
2006
Springer
15 years 6 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...
128
Voted
FINTAL
2006
15 years 6 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
131
Voted
NAR
2008
115views more  NAR 2008»
15 years 2 months ago
Data growth and its impact on the SCOP database: new developments
The Structural Classification of Proteins (SCOP) database is a comprehensive ordering of all proteins of known structure, according to their evolutionary and structural relationsh...
Antonina Andreeva, Dave Howorth, John-Marc Chandon...