Sciweavers

34 search results - page 7 / 7
» nc 2006
Sort
View
CADE
2006
Springer
14 years 6 months ago
CEL - A Polynomial-Time Reasoner for Life Science Ontologies
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...
Franz Baader, Carsten Lutz, Boontawee Suntisrivara...
STOC
2006
ACM
159views Algorithms» more  STOC 2006»
14 years 6 months ago
Learning a circuit by injecting values
d Abstract] Dana Angluin James Aspnes Jiang Chen Yinghua Wu We propose a new model for exact learning of acyclic circuits using experiments in which chosen values may be assigned ...
Dana Angluin, James Aspnes, Jiang Chen, Yinghua Wu
BMCBI
2006
141views more  BMCBI 2006»
13 years 6 months ago
Identification of consensus RNA secondary structures using suffix arrays
Background: The identification of a consensus RNA motif often consists in finding a conserved secondary structure with minimum free energy in an ensemble of aligned sequences. How...
Mohammad Anwar, Truong Nguyen, Marcel Turcotte
IJON
2007
120views more  IJON 2007»
13 years 6 months ago
Comparison of dynamical states of random networks with human EEG
Existing models of EEG have mainly focused on relations to network dynamics characterized by firing rates [L. de Arcangelis, H.J. Herrmann, C. Perrone-Capano, Activity-dependent ...
Ralph Meier, Arvind Kumar, Andreas Schulze-Bonhage...