Sciweavers

5159 search results - page 238 / 1032
» Structural Testing of Executables
Sort
View
VLDB
2003
ACM
107views Database» more  VLDB 2003»
16 years 7 months ago
A performance study of four index structures for set-valued attributes of low cardinality
The efficient retrieval of data items on set-valued attributes is an important research topic that has attracted little attention so far. We studied and modified four index structu...
Sven Helmer, Guido Moerkotte
SAS
2007
Springer
16 years 1 months ago
Shape Analysis with Structural Invariant Checkers
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
Bor-Yuh Evan Chang, Xavier Rival, George C. Necula
SIGIR
2006
ACM
16 years 1 months ago
Why structural hints in queries do not help XML-retrieval
For many years it has been commonly held that a user who adds structural “hints” to a query will improve precision in an element retrieval search. At INEX 2005 we conducted an...
Andrew Trotman, Mounia Lalmas
AE
2005
Springer
16 years 18 days ago
An Enhanced Genetic Algorithm for Protein Structure Prediction Using the 2D Hydrophobic-Polar Model
This paper presents an enhanced genetic algorithm for the protein structure prediction problem. A new fitness function, that uses the concept of radius of gyration, is proposed. Al...
Heitor S. Lopes, Marcos P. Scapin
COLING
1996
15 years 8 months ago
FeasPar - A Feature Structure Parser Learning to Parse Spoken Language
We describe and experimentally evaluate a system, FeasPar, that learns parsing spontaneous speech. To train and run FeasPar (Feature Structure Parser), only limited handmodeled kn...
Finn Dag Buø, Alex Waibel