21319 search results - page 287 / 4264 » An Approach for Method Reengineering |
126
click to vote
ICDCS
2005
IEEE
15 years 10 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
138
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents an effective method to combine speech recognition, speaker verification and face verification for biometric authentication. Our method provides a light-weight ...
184
click to vote
ISM
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, a new model is proposed for image segmentation that integrates the curve evolution and anisotropic diffusion methods. The curve evolution method, utilizing both grad...
120
click to vote
ICA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we present an efficient real-time implementation of a broadband algorithm for blind source separation (BSS) of convolutive mixtures. A recently introduced m...
165
click to vote
ISSAC
2004
Springer
15 years 10 months ago
2004
Springer
Simplification has been long recognised to be a fundamental problem within computer algebra[17]. However, even for the class of elementary functions, it has not been resolved in ...