Sciweavers

8431 search results - page 159 / 1687
» Algorithmically Independent Sequences
Sort
View
CORR
2008
Springer
122views Education» more  CORR 2008»
15 years 5 months ago
Strategy Improvement for Concurrent Safety Games
We consider concurrent games played on graphs. At every round of the game, each player simultaneously and independently selects a move; the moves jointly determine the transition ...
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. H...
FOSSACS
2001
Springer
15 years 9 months ago
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
Rémi Morin
CIBCB
2007
IEEE
15 years 11 months ago
Overestimation for Multiple Sequence Alignment
Abstract— Multiple sequence alignment is an important problem in computational biology. A-star is an algorithm that can be used to find exact alignments. We present a simple mod...
Tristan Cazenave
BMCBI
2005
100views more  BMCBI 2005»
15 years 5 months ago
Scoredist: A simple and robust protein sequence distance estimator
Background: Distance-based methods are popular for reconstructing evolutionary trees thanks to their speed and generality. A number of methods exist for estimating distances from ...
Erik L. L. Sonnhammer, Volker Hollich
ICIP
1999
IEEE
16 years 6 months ago
Realistic 3-D Scene Modeling from Uncalibrated Image Sequences
This contribution addresses the problem of obtaining photorealistic 3D models of a scene from images alone with a structure-from-motion approach. The 3D scene is observed from mul...
Reinhard Koch, Marc Pollefeys, Luc J. Van Gool