Sciweavers

4166 search results - page 244 / 834
» Automating the constraining process
Sort
View
ICASSP
2009
IEEE
15 years 10 months ago
A multistage approach for blind separation of convolutive speech mixtures
In this paper, we propose a novel algorithm for the separation of convolutive speech mixtures using two-microphone recordings, based on the combination of independent component an...
Tariqullah Jan, Wenwu Wang, DeLiang Wang
3DIM
2011
IEEE
14 years 4 months ago
Sampling Relevant Points for Surface Registration
—Surface registration is a fundamental step in the reconstruction of three-dimensional objects. This is typically a two-step process where an initial coarse motion estimation is ...
Andrea Torsello, Emanuele Rodolà, Andrea Al...
TPHOL
2002
IEEE
15 years 9 months ago
A Proposal for a Formal OCL Semantics in Isabelle/HOL
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
Achim D. Brucker, Burkhart Wolff
DAC
1997
ACM
15 years 8 months ago
Developing a Concurrent Methodology for Standard-Cell Library Generation
Abstract - This paper describes the development of a concurrent methodology for standard cell library generation. Use of a novel physical design automation method enables a high de...
Donald G. Baltus, Thomas Varga, Robert C. Armstron...
CSREASAM
2006
15 years 5 months ago
User Interface Design of the Interactive Fingerprint Recognition (INFIR) System
- INFIR (Interactive Fingerprint Recognition) is an interactive fingerprint recognition and visualization tool. The tool is designed to cope with the problems related to automated ...
Sara Nasser, Sergiu Dascalu, Gregory Vert