3116 search results - page 101 / 624 » Positively dependent types |
143
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
The acceleration of acoustic likelihood calculation has been an important research issue for developing practical speech recognition systems. And there are various specification ...
147
Voted
ICTAI
2009
IEEE
15 years 10 months ago
2009
IEEE
Knowledge plays a central role in intelligent systems. Manual knowledge acquisition is very inefficient and expensive. In this paper, we present (1) an automatic method to acquire...
128
click to vote
DSN
2006
IEEE
15 years 10 months ago
2006
IEEE
Recent research has shown that even modern hard disks have complex failure modes that do not conform to “failstop” operation. Disks exhibit partial failures like block access ...
127
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Technology presented in the paper [1] allows validation of software architecture before component upgrades. This paper presents a case study of applying this method to the upgrade ...
132
Voted
DELOS
2000
15 years 5 months ago
2000
Similarity search in image database is commonly implemented as nearest-neighbor search in a feature space of the images. For that purpose, a large number of different features as ...