Sciweavers

387 search results - page 29 / 78
» Parallel Phylogenetic Inference
Sort
View
CORR
2010
Springer
58views Education» more  CORR 2010»
13 years 5 months ago
Towards Theory of Massive-Parallel Proofs. Cellular Automata Approach
In the paper I sketch a theory of massively parallel proofs using cellular automata presentation of deduction. In this presentation inference rules play the role of cellular-autom...
Andrew Schumann
PAMI
2010
140views more  PAMI 2010»
13 years 6 months ago
Differential Geometric Inference in Surface Stereo
—Many traditional two-view stereo algorithms explicitly or implicitly use the frontal parallel plane assumption when exploiting contextual information since, e.g., the smoothness...
Gang Li, Steven W. Zucker
AROBOTS
1998
113views more  AROBOTS 1998»
13 years 7 months ago
Grounding Mundane Inference in Perception
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representation...
Ian Horswill
BMCBI
2007
120views more  BMCBI 2007»
13 years 8 months ago
Phylo-mLogo: an interactive and hierarchical multiple-logo visualization tool for alignment of many sequences
Background: When aligning several hundreds or thousands of sequences, such as epidemic virus sequences or homologous/orthologous sequences of some big gene families, to reconstruc...
Arthur Chun-Chieh Shih, D. T. Lee, Chin-Lin Peng, ...
CONCUR
2006
Springer
13 years 10 months ago
Inference of Event-Recording Automata Using Timed Decision Trees
In regular inference, the problem is to infer a regular language, typically represented by a deterministic finite automaton (DFA) from answers to a finite set of membership querie...
Olga Grinchtein, Bengt Jonsson, Paul Pettersson