Sciweavers

1460 search results - page 34 / 292
» Very Lightweight Requirements Modeling
Sort
View
FM
2009
Springer
153views Formal Methods» more  FM 2009»
13 years 7 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
MSWIM
2005
ACM
14 years 3 months ago
Balancing auditability and privacy in vehicular networks
We investigate how to obtain a balance between privacy and audit requirements in vehicular networks. Challenging the current trend of relying on asymmetric primitives within VANET...
Jong Youl Choi, Markus Jakobsson, Susanne Wetzel
ICPR
2006
IEEE
14 years 10 months ago
Linear model combining by optimizing the Area under the ROC curve
In some classification problems, like the detection of illnesses in patients, classes are very unbalanced and the misclassification costs for different classes vary significantly....
David M. J. Tax, Robert P. W. Duin

Source Code
1511views
15 years 8 months ago
VXL - The Vision-something-Libraries
VXL is a collection of C++ libraries designed for computer vision research and implementation. VXL is written in ANSI/ISO C++ and is designed to be portable over many platforms. Th...
ICASSP
2010
IEEE
13 years 9 months ago
Partial sequence matching using an Unbounded Dynamic Time Warping algorithm
Before the advent of Hidden Markov Models(HMM)-based speech recognition, many speech applications were built using pattern matching algorithms like the Dynamic Time Warping (DTW) ...
Xavier Anguera, Robert Macrae, Nuria Oliver