Sciweavers

747 search results - page 40 / 150
» An Alternative Representation for QBF
Sort
View
128
Voted
TDM
2004
202views Database» more  TDM 2004»
15 years 3 months ago
Combining Indexing Schemes to Accelerate Querying XML on Content and Structure
This paper presents the advantages of combining multiple document representation schemes for query processing of XML queries on content and structure. We show how extending the Te...
Georgina Ramírez, Arjen P. de Vries
ALGORITHMICA
2005
76views more  ALGORITHMICA 2005»
15 years 1 months ago
Characterizing History Independent Data Structures
We consider history independent data structures as proposed for study by Naor and Teague [3]. In a history independent data structure, nothing can be learned from the memory repre...
Jason D. Hartline, Edwin S. Hong, Alexander E. Moh...
CONCUR
1997
Springer
15 years 6 months ago
Reachability Analysis of Pushdown Automata: Application to Model-Checking
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
Ahmed Bouajjani, Javier Esparza, Oded Maler
IIS
2003
15 years 3 months ago
Ontology-based Text Document Clustering
Text clustering typically involves clustering in a high dimensional space, which appears difficult with regard to virtually all practical settings. In addition, given a particular...
Steffen Staab, Andreas Hotho
CORR
2008
Springer
129views Education» more  CORR 2008»
15 years 2 months ago
Evolving Dynamic Change and Exchange of Genotype Encoding in Genetic Algorithms for Difficult Optimization Problems
The application of genetic algorithms (GAs) to many optimization problems in organizations often results in good performance and high quality solutions. For successful and efficien...
Maroun Bercachi, Philippe Collard, Manuel Clergue,...