8828 search results - page 246 / 1766 » Formal methods in practice |
158
click to vote
ESANN
2008
15 years 7 months ago
2008
This work advances the Support Vector Machine (SVM) based approach for predictive modelling of failure time data as proposed in [1]. The main results concern a drastic reduction in...
150
click to vote
CAINE
2006
15 years 7 months ago
2006
There is a tendency to overlook or play down software issues in industrial systems design. However the very best hardware will only be as effective as the programs that control it...
153
Voted
IADIS
2003
15 years 7 months ago
2003
This paper describes capturing design experiences by applying grounded theory to pattern mining. The presented approach aims at inducing expert development knowledge and its subse...
191
click to vote
CCR
2006
15 years 6 months ago
2006
The identification of network applications through observation of associated packet traffic flows is vital to the areas of network management and surveillance. Currently popular m...
136
Voted
PR
2008
15 years 6 months ago
2008
In this paper, we present a new background estimation algorithm which effectively represents both background and foreground. The problem is formulated with a labeling problem over...