3889 search results - page 373 / 778 » A Framework for Optimizing Paper Matching |
159
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we introduce a new histogram equalizationbased environmental model adaptation method for robust speech recognition in noise environments. The proposed method adapts...
185
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
163
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Supercomputers are increasingly complex systems merging conventional microprocessors with system on a chip level designs that provide the network interface and router. At Sandia N...
162
click to vote
ISBI
2007
IEEE
16 years 1 months ago
2007
IEEE
A number of problems frequently encountered in brain image analysis can be conveniently solved within a registration framework, such as alignment of mono- or multi-sequence Magnet...
180
click to vote
SOCA
2007
IEEE
16 years 1 months ago
2007
IEEE
Service collaboration is important in ServiceOriented Architecture (SOA). While service collaboration protocols for data exchange are well explored, the Dynamic Process Collaborat...