15120 search results - page 2645 / 3024 » Learning with Local Models |
154
click to vote
DAC
2009
ACM
16 years 1 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
201
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...
176
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
— A radio frequency identification (RFID) system consists of a set of readers and several objects, equipped with small computer chips, called tags. In a dense RFID system, where...
183
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
A two microphone direction of arrival (DOA) estimation technique for multiple speech sources is developed which exploits speech specific properties, namely sparsity in time-frequ...
180
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a novel approach for those applications where vocabulary is defined by a set of acoustic samples. In this approach, the acoustic samples are used as reference...