Sciweavers

3333 search results - page 504 / 667
» Abstract Proof Search
Sort
View
ISI
2008
Springer
15 years 5 months ago
Improving quality and performance of schema matching in large scale
ABSTRACT. Schema matching is a crucial task to gather information of the same domain. However, this process is still largely performed manually or semi-automatically, discouraging ...
Fabien Duchateau, Zohra Bellahsene, Mathieu Roche
CMMR
2003
Springer
1215views Music» more  CMMR 2003»
15 years 11 months ago
FMF(Fast Melody Finder): A Web-Based Music Retrieval System
Abstract. As the use of digital music is getting popular, there is an increasing demand for efficient retrieval of music. To do that, an effective music indexing and natural way o...
Seung-Min Rho, Een-Jun Hwang
CORR
2007
Springer
93views Education» more  CORR 2007»
15 years 5 months ago
Solving the Hamiltonian path problem with a light-based computer
Abstract. In this paper we suggest the use of light for performing useful computations. Namely, we propose a special computational device which uses light rays for solving the Hami...
Mihai Oltean
FUIN
2007
123views more  FUIN 2007»
15 years 5 months ago
Analysis of Approximate Petri Nets by Means of Occurrence Graphs
Abstract. Approximate Petri nets (AP-nets) can be used for the knowledge representation and approximate reasoning. The AP-net model is defined on the basis of the rough set approa...
Zbigniew Suraj, Barbara Fryc
NAR
2006
110views more  NAR 2006»
15 years 5 months ago
EMAGE: a spatial database of gene expression patterns during mouse embryo development
EMAGE (http://genex.hgu.mrc.ac.uk/Emage/database) is a freely available, curated database of gene expression patterns generated by in situ techniques in the developing mouse embry...
Jeffrey H. Christiansen, Yiya Yang, Shanmugasundar...