21319 search results - page 651 / 4264 » An Approach for Method Reengineering |
162
click to vote
DATE
2010
IEEE
16 years 10 days ago
2010
IEEE
Abstract—Cyber Physical Systems are distributed systemsof-systems that integrate sensing, processing, networking and actuation. Aggregating physical data over space and in time e...
171
click to vote
DSD
2002
IEEE
16 years 6 days ago
2002
IEEE
In this paper we describe a methodology for the formal verification of a DSP chip using the HOL theorem prover. We used an iterative method to specify both the behavioral and stru...
192
click to vote
CAIP
2009
Springer
15 years 12 months ago
2009
Springer
Edit distance matching has been used in literature for word spotting with characters taken as primitives. The recognition rate however, is limited by the segmentation inconsistenci...
210
click to vote
ICANN
2001
Springer
15 years 11 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...
161
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
It is well known that editing techniques can be applied to (large) sets of prototypes in order to bring the error rate of the Nearest Neighbour classifier close to the optimal Ba...