Sciweavers

14 search results - page 2 / 3
» Automatic Property Identification via Parameterized Constrai...
Sort
View
SIAMREV
2010
174views more  SIAMREV 2010»
13 years 4 months ago
Guaranteed Minimum-Rank Solutions of Linear Matrix Equations via Nuclear Norm Minimization
The affine rank minimization problem consists of finding a matrix of minimum rank that satisfies a given system of linear equality constraints. Such problems have appeared in the ...
Benjamin Recht, Maryam Fazel, Pablo A. Parrilo
BIRTHDAY
2007
Springer
14 years 1 months ago
Automating Verification of Cooperation, Control, and Design in Traffic Applications
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
Werner Damm, Alfred Mikschl, Jens Oehlerking, Erns...
BMCBI
2007
89views more  BMCBI 2007»
13 years 10 months ago
Primique: automatic design of specific PCR primers for each sequence in a family
Background: In many contexts, researchers need specific primers for all sequences in a family such that each primer set amplifies only its target sequence and none of the others, ...
Jakob Fredslund, Mette Lange
LREC
2010
209views Education» more  LREC 2010»
13 years 11 months ago
Lingua-Align: An Experimental Toolbox for Automatic Tree-to-Tree Alignment
In this paper we present an experimental toolbox for automatic tree-to-tree alignment based on local classification and alignment inference. The aligner implements a recurrent arc...
Jörg Tiedemann
IPMI
2003
Springer
14 years 10 months ago
Evaluation of 3D Correspondence Methods for Model Building
Abstract. The correspondence problem is of high relevance in the construction and use of statistical models. Statistical models are used for a variety of medical application, e.g. ...
Martin Styner, Kumar T. Rajamani, Lutz-Peter Nolte...