Sciweavers

384 search results - page 47 / 77
» Representing Sequences in Description Logics
Sort
View
ICMLA
2009
13 years 6 months ago
Structured Prediction Models for Chord Transcription of Music Audio
Chord sequences are a compact and useful description of music, representing each beat or measure in terms of a likely distribution over individual notes without specifying the not...
Adrian Weller, Daniel P. W. Ellis, Tony Jebara
JAIR
2010
145views more  JAIR 2010»
13 years 7 months ago
On Action Theory Change
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other...
Ivan José Varzinczak
NAR
2000
172views more  NAR 2000»
13 years 8 months ago
The Molecular Biology Database Collection: an online compilation of relevant database resources
The Molecular Biology Database Collection represents an effort geared at making molecular biology database resources more accessible to biologists. This online resource, available...
Andreas D. Baxevanis
AIPS
2003
13 years 10 months ago
Symmetry Reduction for SAT Representations of Transition Systems
Symmetries are inherent in systems that consist of several interchangeable objects or components. When reasoning about such systems, big computational savings can be obtained if t...
Jussi Rintanen
DEXAW
2008
IEEE
91views Database» more  DEXAW 2008»
14 years 3 months ago
Dynamic Taxonomies for the Semantic Web
The semantic web aims at enabling the web to understand and answer the requests from people and machines. It relies on several standards for representing and reasoning about web c...
Pierre Allard, Sébastien Ferré