3224 search results - page 145 / 645 » Abstract Error Projection |
162
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
155
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— We consider a distributed multi-agent network system where the goal is to minimize an objective function that can be written as the sum of component functions, each of ...
182
click to vote
ICANN
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In this paper, we propose and study a new on-line algorithm for learning a SVM based on Radial Basis Function Kernel: Local Incremental Learning of SVM or LISVM. Our meth...
167
click to vote
DAWAK
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We investigate the problem of finding frequent patterns in a continuous stream of transactions. It is recognized that the approximate solutions are usually sufficient and...
168
click to vote
BIOSIG
2003
15 years 7 months ago
2003
Abstract: Biometric identification and verification technologies, in the past, have promised high performance levels. Such performance statements lead to the assumption, that these...