Sciweavers

59 search results - page 6 / 12
» Consensus in non-commutative spaces
Sort
View
RECOMB
2009
Springer
15 years 10 months ago
Simultaneous Alignment and Folding of Protein Sequences
Abstract. Accurate comparative analysis tools for low-homology proteins remains a difficult challenge in computational biology, especially sequence alignment and consensus folding ...
Bonnie Berger, Charles W. O'Donnell, Jér&oc...
BIRTHDAY
2007
Springer
15 years 3 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
CDC
2008
IEEE
152views Control Systems» more  CDC 2008»
15 years 4 months ago
Coordination on Lie groups
— This paper studies the coordinated motion of a group of agents evolving on a Lie group. Left- or rightinvariance with respect to the absolute position on the group lead to two ...
Alain Sarlette, Silvere Bonnabel, Rodolphe Sepulch...
ICARCV
2002
IEEE
110views Robotics» more  ICARCV 2002»
15 years 2 months ago
A novel robust method for large numbers of gross errors
In computer vision tasks, it frequently happens that gross noise occupies the absolute majority of the data. Most robust estimators can tolerate no more than 50% gross errors. In ...
Hanzi Wang, David Suter
EDCC
2005
Springer
15 years 3 months ago
Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems
Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...
Christophe Honvault, Marc Le Roy, Pascal Gula, Jea...