Sciweavers

1914 search results - page 322 / 383
» Evaluation of a Catalytic Search Algorithm
Sort
View
WIDM
2004
ACM
15 years 3 months ago
Ctree: a compact tree for indexing XML data
In this paper, we propose a novel compact tree (Ctree) for XML indexing, which provides not only concise path summaries at the group level but also detailed child-parent links at ...
Qinghua Zou, Shaorong Liu, Wesley W. Chu
INLG
2004
Springer
15 years 3 months ago
Reining in CCG Chart Realization
Abstract. We present a novel ensemble of six methods for improving the efficiency of chart realization. The methods are couched in the framework of Combinatory Categorial Grammar (...
Michael White
MLMI
2004
Springer
15 years 3 months ago
Speaker Indexing in Audio Archives Using Gaussian Mixture Scoring Simulation
Speaker indexing has recently emerged as an important task due to the rapidly growing volume of audio archives. Current filtration techniques still suffer from problems both in acc...
Hagai Aronowitz, David Burshtein, Amihood Amir
SPIN
2004
Springer
15 years 3 months ago
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
Peter Leven, Tilman Mehler, Stefan Edelkamp
HICSS
2003
IEEE
88views Biometrics» more  HICSS 2003»
15 years 3 months ago
Expanding Citizen Access and Public Official Accountability through Knowledge Creation Technology: One Recent Development in e-D
The authors describe an addition to the conversation regarding enhanced democracy through technologicallyassisted means (e-Democracy) focusing on enhancing and expanding the typic...
Michael A. Shires, Murray S. Craig