5550 search results - page 567 / 1110 » Different Approaches to Proof Systems |
166
click to vote
JUCS
2002
15 years 7 months ago
2002
: Being lost in space and overloaded with information are two key problems users are confronted with, when searching for appropriate information. Trails built from information abou...
253
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we adopt a template matching method to detect design patterns from a software system by calculating their normalized cross correlation. Because design patterns docu...
195
click to vote
ICUMT
2009
15 years 5 months ago
2009
The work addresses the problem of coping with a diversity of location tracking techniques available in ubiquitous computing environments. We investigate how this diversity can be e...
196
Voted
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
In this paper, we propose a novel framework to integrate articulatory features (AFs) into HMM- based ASR system. This is achieved by using posterior probabilities of different AFs...
240
click to vote
ACL
2012
13 years 9 months ago
2012
The dominant practice of statistical machine translation (SMT) uses the same Chinese word segmentation specification in both alignment and translation rule induction steps in buil...