Sciweavers

1451 search results - page 161 / 291
» Order independence and rationalizability
Sort
View
CORR
2010
Springer
136views Education» more  CORR 2010»
15 years 6 months ago
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases
This article studies the expressive power of finite automata recognizing sets of real numbers encoded in positional notation. We consider Muller automata as well as the restricted ...
Bernard Boigelot, Julien Brusten, Véronique...
BMCBI
2005
156views more  BMCBI 2005»
15 years 6 months ago
A new dynamical layout algorithm for complex biochemical reaction networks
Background: To study complex biochemical reaction networks in living cells researchers more and more rely on databases and computational methods. In order to facilitate computatio...
Katja Wegner, Ursula Kummer
EDBT
2012
ACM
247views Database» more  EDBT 2012»
13 years 8 months ago
Heuristics-based query optimisation for SPARQL
Query optimization in RDF Stores is a challenging problem as SPARQL queries typically contain many more joins than equivalent relational plans, and hence lead to a large join orde...
Petros Tsialiamanis, Lefteris Sidirourgos, Irini F...
NAR
1998
70views more  NAR 1998»
15 years 6 months ago
Haemophilia B: database of point mutations and short additions and deletions--eighth edition
The eighth edition of the haemophilia B database (http://www.umds.ac.uk/molgen/haemBdatabase.htm ) lists in an easily accessible form all known factor IX mutations due to small ch...
F. Giannelli, P. M. Green, S. S. Sommer, M.-C. Poo...
ACL
2011
14 years 10 months ago
Disentangling Chat with Local Coherence Models
‡e ev—lu—te sever—l popul—r models of lo™—l dis™ourse ™oheren™e for dom—in —nd t—sk genE er—lity ˜y —pplying them to ™h—t disent—ngleE mentF …sing experiments ...
Micha Elsner, Eugene Charniak