Sciweavers

2867 search results - page 369 / 574
» Effectiveness of Index Expressions
Sort
View
ICLP
2005
Springer
16 years 4 days ago
Towards an Integration of Answer Set and Constraint Solving
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...
Sabrina Baselice, Piero A. Bonatti, Michael Gelfon...
KES
2005
Springer
16 years 4 days ago
Bayesian Validation of Fuzzy Clustering for Analysis of Yeast Cell Cycle Data
Clustering for the analysis of the gene expression profiles has been used for identifying the functions of the genes and of unknown genes. Since the genes usually belong to multipl...
Kyung-Joong Kim, Si-Ho Yoo, Sung-Bae Cho
128
Voted
ISMIR
2004
Springer
120views Music» more  ISMIR 2004»
16 years 3 min ago
The Anatomy of a Bibliographic Search System for Music
Traditional library catalog systems have been effective in providing access to collections of books, films, and other material. However, they have many limitations when it comes ...
Ryan Scherle, Donald Byrd
SEMWEB
2004
Springer
15 years 12 months ago
An API for Ontology Alignment
Ontologies are seen as the solution to data heterogeneity on the web. However, the available ontologies are themselves source of heterogeneity. This can be overcome by aligning on...
Jérôme Euzenat
ATS
2003
IEEE
98views Hardware» more  ATS 2003»
15 years 12 months ago
Automatic Design Validation Framework for HDL Descriptions via RTL ATPG
We present a framework for high-level design validation using an efficient register-transfer level (RTL) automatic test pattern generator (ATPG). The RTL ATPG generates the test ...
Liang Zhang, Michael S. Hsiao, Indradeep Ghosh