549 search results - page 47 / 110 » Verification condition generation for conditional informatio... |
80
Voted
CIC
2004
15 years 2 months ago
2004
The aim of this paper is to study the audio quality offered by a simple Forward Error Correction (FEC) code used in audio applications like Freephone or Rat. This coding technique ...
112
Voted
ICMCS
2009
IEEE
14 years 10 months ago
2009
IEEE
To deal with the issue of data unbalanced condition among a task of multilingual speech recognition and a phenomenon of pronunciation variations across languages, we propose an ap...
91
Voted
MUE
2008
IEEE
15 years 7 months ago
2008
IEEE
The route guidance system, which provides driving advice based on traffic information about an origin and a destination, has become very popular along with the advancement of hand...
120
click to vote
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
An adaptive spatiotemporal saliency algorithm for video attention detection using motion vector decision is proposed, motivated by the importance of motion information in video se...
169
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...