Sciweavers

2124 search results - page 86 / 425
» Repairing Structurally Complex Data
Sort
View
IDEAS
2003
IEEE
91views Database» more  IDEAS 2003»
14 years 3 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»
14 years 2 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
JMLR
2010
155views more  JMLR 2010»
13 years 5 months ago
Structured Sparse Principal Component Analysis
We present an extension of sparse PCA, or sparse dictionary learning, where the sparsity patterns of all dictionary elements are structured and constrained to belong to a prespeci...
Rodolphe Jenatton, Guillaume Obozinski, Francis Ba...
SEKE
2001
Springer
14 years 3 months ago
Gadget: A Tool for Extracting the Dynamic Structure of Java Programs
Source code analysis and inspection does not provide enough information to describe the structure of an objectoriented program completely because there are components and relation...
Juan Gargiulo, Spiros Mancoridis
UML
1999
Springer
14 years 2 months ago
Closing the Gap Between Object-Oriented Modeling of Structure and Behavior
The UML as standardized language for visual object-oriented modeling allows to capture the requirements as well as the structure and behavior of complex software systems. With the ...
Holger Giese, Jörg Graf, Guido Wirtz