Sciweavers

4332 search results - page 401 / 867
» A Probabilistic Identification Result
Sort
View
CORR
2006
Springer
104views Education» more  CORR 2006»
15 years 6 months ago
From Proof Nets to the Free *-Autonomous Category
Abstract. In the first part of this paper we present a theory of proof nets for full multiplicative linear logic, including the two units. It naturally extends the well-known theor...
François Lamarche, Lutz Straßburger
BMCBI
2007
89views more  BMCBI 2007»
15 years 6 months ago
Selective prediction of interaction sites in protein structures with THEMATICS
Background: Methods are now available for the prediction of interaction sites in protein 3D structures. While many of these methods report high success rates for site prediction, ...
Ying Wei, Jaeju Ko, Leonel F. Murga, Mary Jo Ondre...
INFORMATICALT
2008
139views more  INFORMATICALT 2008»
15 years 6 months ago
Fingerprint Minutiae Matching without Global Alignment Using Local Structures
This paper presents a method of minutiae based fingerprint matching that is robust to deformations and does not do fingerprint alignment. It concentrates on comparing rotation and ...
Andrej Kisel, Alexej Kochetkov, Justas Kranauskas
IJRR
2006
120views more  IJRR 2006»
15 years 6 months ago
Vibration Estimation of Flexible Space Structures using Range Imaging Sensors
Future space applications will require robotic systems to assemble, inspect, and maintain large space structures in orbit. For effective planning and control, robots will need to ...
Matthew D. Lichter, Hiroshi Ueno, Steven Dubowsky
JCB
2008
122views more  JCB 2008»
15 years 6 months ago
Space Efficient Computation of Rare Maximal Exact Matches between Multiple Sequences
In this article, we propose a new method for computing rare maximal exact matches between multiple sequences. A rare match between k sequences S1; : : :; Sk is a string that occur...
Enno Ohlebusch, Stefan Kurtz