Sciweavers

5550 search results - page 163 / 1110
» Different Approaches to Proof Systems
Sort
View
ICASSP
2010
IEEE
15 years 6 months ago
A kernel mean matching approach for environment mismatch compensation in speech recognition
The mismatch between training and test environmental conditions presents a challenge to speech recognition systems. In this paper, we investigate an approach for matching the dist...
Abhishek Kumar, John H. L. Hansen
WWW
2009
ACM
16 years 7 months ago
An axiomatic approach for result diversification
Understanding user intent is key to designing an effective ranking system in a search engine. In the absence of any explicit knowledge of user intent, search engines want to diver...
Sreenivas Gollapudi, Aneesh Sharma
ICASSP
2009
IEEE
16 years 1 months ago
A differential geometric approach to discrete-coefficient filter design
This paper is concerned with the problem of computing a discretecoefficient approximation to a digital filter. In contrast to earlier works that have approached this problem usi...
Subramanian Ramamoorthy, Lothar Wenzel, James Nagl...
IEEESCC
2005
IEEE
16 years 2 days ago
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
Howard Foster, Sebastián Uchitel, Jeff Mage...
DAGM
2005
Springer
16 years 12 hour ago
Calibration-Free Hand-Eye Calibration: A Structure-from-Motion Approach
The paper presents an extended hand-eye calibration approach that, in contrast to the standard method, does not require a calibration pattern for determining camera position and or...
Jochen Schmidt, Florian Vogt, Heinrich Niemann