Sciweavers

1466 search results - page 226 / 294
» Completeness of the Authentication Tests
Sort
View
ICML
2010
IEEE
13 years 8 months ago
FAB-MAP: Appearance-Based Place Recognition and Mapping using a Learned Visual Vocabulary Model
We present an overview of FAB-MAP, an algorithm for place recognition and mapping developed for infrastructure-free mobile robot navigation in large environments. The system allow...
Mark Joseph Cummins, Paul M. Newman
BMCBI
2010
119views more  BMCBI 2010»
13 years 8 months ago
Functional classification of proteins based on projection of amino acid sequences: application for prediction of protein kinase
Background: The knowledge about proteins with specific interaction capacity to the protein partners is very important for the modeling of cell signaling networks. However, the exp...
Boris Sobolev, Dmitry Filimonov, Alexey Lagunin, A...
CORR
2010
Springer
88views Education» more  CORR 2010»
13 years 8 months ago
Dynamic and Transparent Analysis of Commodity Production Systems
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...
Aristide Fattori, Roberto Paleari, Lorenzo Martign...
CORR
2008
Springer
103views Education» more  CORR 2008»
13 years 8 months ago
Executable Set Theory and Arithmetic Encodings in Prolog
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic...
Paul Tarau
CSSC
2008
77views more  CSSC 2008»
13 years 8 months ago
Undercoverage of Wavelet-Based Resampling Confidence Intervals
The decorrelating property of the discrete wavelet transformation (DWT) appears valuable because one can avoid estimating the correlation structure in the original data space by b...
Liansheng Tang, Wayne A. Woodward, William R. Schu...