Sciweavers

442 search results - page 43 / 89
» Combining test case generation for component and integration...
Sort
View
BMCBI
2010
189views more  BMCBI 2010»
14 years 12 months ago
High quality protein sequence alignment by combining structural profile prediction and profile alignment using SABERTOOTH
Background: Protein alignments are an essential tool for many bioinformatics analyses. While sequence alignments are accurate for proteins of high sequence similarity, they become...
Florian Teichert, Jonas Minning, Ugo Bastolla, Mar...
105
Voted
IJCV
2007
120views more  IJCV 2007»
14 years 11 months ago
Multi-cue Pedestrian Detection and Tracking from a Moving Vehicle
This paper presents a multi-cue vision system for the real-time detection and tracking of pedestrians from a moving vehicle. The detection component involves a cascade of modules, ...
Dariu M. Gavrila, Stefan Munder
ACSAC
2006
IEEE
15 years 6 months ago
Vulnerability Analysis of MMS User Agents
The Multimedia Messaging Service (MMS) is becoming more popular, as mobile phones integrate audio and video recording functionality. Multimedia messages are delivered to users thr...
Collin Mulliner, Giovanni Vigna
GI
2009
Springer
15 years 4 months ago
Tapir: Language Support to Reduce the State Space in Model-Checking
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
Ronald Veldema, Michael Philippsen
CSDA
2008
68views more  CSDA 2008»
14 years 12 months ago
Modelling the US, UK and Japanese unemployment rates: Fractional integration and structural breaks
In this paper we use a general procedure for fractional integration and structural breaks at unknown points in time, which allows for different orders of integration and determini...
Guglielmo Maria Caporale, Luis A. Gil-Alana