Sciweavers

573 search results - page 76 / 115
» Sketch Data Models, Relational Schema and Data Specification...
Sort
View
ICDE
2006
IEEE
148views Database» more  ICDE 2006»
16 years 4 days ago
Estimating XML Structural Join Size Quickly and Economically
XML structural joins, which evaluate the containment (ancestor-descendant) relationships between XML elements, are important operations of XML query processing. Estimating structu...
Cheng Luo, Zhewei Jiang, Wen-Chi Hou, Feng Yan, Ch...
AIPS
2008
15 years 8 months ago
What Makes Planners Predictable?
In recent work we showed that models constructed from planner performance data over a large suite of benchmark problems are surprisingly accurate; 91-99% accuracy for success and ...
Mark Roberts, Adele E. Howe, Brandon Wilson, Marie...
PAKDD
2010
ACM
179views Data Mining» more  PAKDD 2010»
15 years 11 months ago
Answer Diversification for Complex Question Answering on the Web
We present a novel graph ranking model to extract a diverse set of answers for complex questions via random walks over a negative-edge graph. We assign a negative sign to edge weig...
Palakorn Achananuparp, Xiaohua Hu, Tingting He, Ch...
BMCBI
2007
153views more  BMCBI 2007»
15 years 6 months ago
MPHASYS: a mouse phenotype analysis system
Background: Systematic, high-throughput studies of mouse phenotypes have been hampered by the inability to analyze individual animal data from a multitude of sources in an integra...
R. Brent Calder, Rudolf B. Beems, Harry van Steeg,...
ESOP
2006
Springer
15 years 9 months ago
A Verification Methodology for Model Fields
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
K. Rustan M. Leino, Peter Müller