Sciweavers

671 search results - page 17 / 135
» Static single information from a functional perspective
Sort
View
CL
2000
Springer
13 years 12 months ago
Proving Failure in Functional Logic Programs
How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a proof-theoretic pers...
Francisco Javier López-Fraguas, Jaime S&aac...
ISMIR
2004
Springer
145views Music» more  ISMIR 2004»
14 years 1 months ago
Methodological Considerations Concerning Manual Annotation Of Musical Audio In Function Of Algorithm Development
In research on musical audio-mining, annotated music databases are needed which allow the development of computational tools that extract from the musical audiostream the kind of ...
Micheline Lesaffre, Marc Leman, Bernard De Baets, ...
BMCBI
2008
81views more  BMCBI 2008»
13 years 7 months ago
A perspective for biomedical data integration: Design of databases for flow cytometry
Background: The integration of biomedical information is essential for tackling medical problems. We describe a data model in the domain of flow cytometry (FC) allowing for massiv...
John Drakos, Marina Karakantza, Nicholas C. Zoumbo...
SCAI
1993
13 years 9 months ago
A Framework for Organization and Representation of Concept Knowledge in Autonomous Agents
In this paper the problems of organization and representation of concept knowledge are addressed from an autonomous agent perspective. The first part of the paper discusses the qu...
Paul Davidsson
IEEEPACT
1998
IEEE
13 years 12 months ago
Static Methods in Hybrid Branch Prediction
Hybrid branch predictors combine the predictions of multiple single-level or two-level branch predictors. The prediction-combining hardware -- the "meta-predictor" -may ...
Dirk Grunwald, Donald C. Lindsay, Benjamin G. Zorn