Sciweavers

4767 search results - page 763 / 954
» Structures for Abstract Rewriting
Sort
View
CPAIOR
2006
Springer
14 years 2 months ago
AND/OR Branch-and-Bound Search for Pure 0/1 Integer Linear Programming Problems
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...
Radu Marinescu 0002, Rina Dechter
CSCLP
2006
Springer
14 years 2 months ago
Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems
Abstract. In this paper we present a novel approach to solving Constraint Satisfaction Problems whose constraint graphs are highly clustered and the graph of clusters is close to b...
Igor Razgon, Barry O'Sullivan
DAS
2006
Springer
14 years 2 months ago
Segmentation of On-Line Handwritten Japanese Text Using SVM for Improving Text Recognition
Abstract. This paper describes a method of producing segmentation point candidates for on-line handwritten Japanese text by a support vector machine (SVM) to improve text recogniti...
Bilan Zhu, Junko Tokuno, Masaki Nakagawa
DEXA
2006
Springer
193views Database» more  DEXA 2006»
14 years 2 months ago
Understanding and Enhancing the Folding-In Method in Latent Semantic Indexing
Abstract. Latent Semantic Indexing(LSI) has been proved to be effective to capture the semantic structure of document collections. It is widely used in content-based text retrieval...
Xiang Wang 0002, Xiaoming Jin
DILS
2006
Springer
14 years 2 months ago
Towards a Model of Provenance and User Views in Scientific Workflows
Scientific experiments are becoming increasingly large and complex, with a commensurate increase in the amount and complexity of data generated. Data, both intermediate and final r...
Shirley Cohen, Sarah Cohen Boulakia, Susan B. Davi...