Sciweavers

11219 search results - page 317 / 2244
» Retroactive data structures
Sort
View
SAG
2004
Springer
16 years 1 days ago
Modelling a Protein Structure Comparison Application on the Grid Using PROTEUS
Bioinformatics applications manage complex biological data stored into distributed and often heterogeneous databases and require large computing power. Among these, protein structu...
Mario Cannataro, Matteo Comin, Carlo Ferrari, Conc...
IDEAS
2003
IEEE
91views Database» more  IDEAS 2003»
15 years 12 months ago
Implementation Issues of a Deterministic Transformation System for Structured Document Query Optimization
As the popularity of XML keeps growing rapidly, XML compliant structured document management becomes an interesting and compelling research area. Query optimization for structured...
Dunren Che
HVC
2007
Springer
106views Hardware» more  HVC 2007»
15 years 10 months ago
Exploiting Shared Structure in Software Verification Conditions
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
Domagoj Babic, Alan J. Hu
LREC
2010
176views Education» more  LREC 2010»
15 years 8 months ago
LAF/GrAF-grounded Representation of Dependency Structures
This paper shows that a LAF/GrAF-based annotation schema can be used for the adequate representation of syntactic dependency structures in many languages. We first argue that ther...
Yoshihiko Hayashi, Thierry Declerck, Chiharu Naraw...
INTERACT
2007
15 years 8 months ago
CandidTree: Visualizing Structural Uncertainty in Similar Hierarchies
Most visualization systems fail to convey uncertainty within data. To provide a way to show uncertainty in similar hierarchies, we interpreted the differences between two tree stru...
Bongshin Lee, George G. Robertson, Mary Czerwinski...