Sciweavers

442 search results - page 43 / 89
» Combining test case generation for component and integration...
Sort
View
92
Voted
BMCBI
2010
189views more  BMCBI 2010»
14 years 9 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...
IJCV
2007
120views more  IJCV 2007»
14 years 9 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
68
Voted
ACSAC
2006
IEEE
15 years 3 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
79
Voted
GI
2009
Springer
15 years 2 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 9 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