Sciweavers

4949 search results - page 218 / 990
» Consistency and Set Intersection
Sort
View
NAACL
2004
15 years 7 months ago
Comparison of two interactive search refinement techniques
The paper presents two approaches to interactively refining user search formulations and their evaluation in the new High Accuracy Retrieval from Documents (HARD) track of TREC-12...
Olga Vechtomova, Murat Karamuftuoglu
DLOG
1998
15 years 7 months ago
Implementing an ALCRP(D) ABox Reasoner - Progress Report
Abstract: This paper presents a progress report on the implementation of an ALCRP(D) ABox reasoner and a knowledge representation framework. We present an ALC ABox reasoner which h...
Volker Haarslev, Ralf Möller, Anni-Yasmin Tur...
CORR
2000
Springer
84views Education» more  CORR 2000»
15 years 5 months ago
The Role of Commutativity in Constraint Propagation Algorithms
stract setting. Then we instantiate this algorithm with specific partial orderings and functions to obtain specific constraint propagation algorithms. In particular, using the noti...
Krzysztof R. Apt
ISCI
2002
70views more  ISCI 2002»
15 years 5 months ago
Techniques for high quality Arabic speech synthesis
The paper proposes a diphone/sub-syllable method for Arabic Text-to-speech systems. The proposed approach exploits the particular syllabic structure of the Arabic words. For good ...
Moustafa Elshafei, Husni Al-Muhtaseb, Mansour Al-G...
TIT
1998
77views more  TIT 1998»
15 years 5 months ago
Density Estimation from an Individual Numerical Sequence
— This paper considers estimation of a univariate density from an individual numerical sequence. It is assumed that 1) the limiting relative frequencies of the numerical sequence...
Andrew B. Nobel, Gusztáv Morvai, Sanjeev R....