1236 search results - page 145 / 248 » On the Hamkins approximation property |
186
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Spoken dialogue systems are gaining popularity with improvements in speech recognition technologies. Dialogue systems can be modeled effectively using POMDPs, achieving improvemen...
152
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We define a new reduced model to represent coloured images. We propose to use two components for a full definition of a colour instead of three. To that end we take advantage of...
193
click to vote
MICRO
2010
IEEE
15 years 4 months ago
2010
IEEE
Virtualization has been rapidly expanding its applications in numerous server and desktop environments to improve the utilization and manageability of physical systems. Such prolif...
173
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
160
click to vote
JSAC
2011
14 years 9 months ago
2011
—We consider a communication channel with two transmitters and one receiver, with an underlying rate region which is approximated as a general pentagon. Different from the Gaussi...