Sciweavers

7821 search results - page 50 / 1565
» Nested Ordered Sets and their Use for Data Modelling
Sort
View
98
Voted
BMCBI
2010
117views more  BMCBI 2010»
15 years 18 days ago
Using jackknife to assess the quality of gene order phylogenies
Background: In recent years, gene order data has attracted increasing attention from both biologists and computer scientists as a new type of data for phylogenetic analysis. If ge...
Jian Shi, Yiwei Zhang, Haiwei Luo, Jijun Tang
99
Voted
ISMIR
2005
Springer
145views Music» more  ISMIR 2005»
15 years 6 months ago
An Investigation of Feature Models for Music Genre Classification Using the Support Vector Classifier
In music genre classification the decision time is typically of the order of several seconds, however, most automatic music genre classification systems focus on short time feat...
Anders Meng, John Shawe-Taylor
126
Voted
LATA
2010
Springer
14 years 11 months ago
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we conside...
Fernando Rosa Velardo, Giorgio Delzanno
ICDT
2007
ACM
185views Database» more  ICDT 2007»
15 years 6 months ago
Characterization of the Interaction of XML Functional Dependencies with DTDs
With the rise of XML as a standard model of data exchange, XML functional dependencies (XFDs) have become important to areas such as key analysis, document normalization, and data ...
Lucja Kot, Walker M. White
113
Voted
CHARME
2003
Springer
196views Hardware» more  CHARME 2003»
15 years 5 months ago
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, K...