Sciweavers

3333 search results - page 569 / 667
» Abstract Proof Search
Sort
View
SG
2005
Springer
15 years 11 months ago
From Artefact Representation to Information Visualisation: Genesis of Informative Modelling
Abstract. In the field of the architectural heritage, the representation of artefacts, particularly for communication purposes, has benefited from the development of computer-based...
Iwona Dudek, Jean-Yves Blaise
VMCAI
2005
Springer
15 years 11 months ago
Minimizing Counterexample with Unit Core Extraction and Incremental SAT
Abstract. It is a hotly researching topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. K Ravi proposes a two-stages counterexample min...
ShengYu Shen, Ying Qin, Sikun Li
CIARP
2004
Springer
15 years 11 months ago
Advanced Relevance Feedback Query Expansion Strategy for Information Retrieval in MEDLINE
MEDLINE is a very large database of abstracts of research papers in medical domain, maintained by the National Library of Medicine. Documents in MEDLINE are supplied with manually ...
Kwangcheol Shin, Sang-Yong Han, Alexander F. Gelbu...
DAWAK
2004
Springer
15 years 11 months ago
Algorithms for Discovery of Frequent Superset, Rather than Frequent Subset
Abstract. In this paper, we propose a novel mining task: mining frequent superset from the database of itemsets that is useful in bioinformatics, e-learning systems, jobshop schedu...
Zhung-Xun Liao, Man-Kwan Shan
ESA
2004
Springer
160views Algorithms» more  ESA 2004»
15 years 11 months ago
Optimal External Memory Planar Point Enclosure
Abstract. In this paper we study the external memory planar point enclosure problem: Given N axis-parallel rectangles in the plane, construct a data structure on disk (an index) su...
Lars Arge, Vasilis Samoladas, Ke Yi