3820 search results - page 515 / 764 » Bounded Model Debugging |
106
click to vote
EOR
2006
15 years 3 months ago
2006
The facility location problem described in this paper comes from an industrial application in the slaughterhouse industry of Norway. Investigations show that the slaughterhouse in...
ETT
2006
15 years 3 months ago
2006
We consider a simple method to improve the adaptiveness and flexibility of bit-interleaved coded modulation (BICM) for various channel models. With state-of-the art adaptive transm...
132
click to vote
CAD
2007
Springer
15 years 3 months ago
2007
Springer
Defeaturing is a popular CAD/ CAE simplification technique where ‘small or irrelevant features’ are suppressed within a CAD model for speeding-up downstream processes, especia...
125
click to vote
COMPUTING
2007
15 years 3 months ago
2007
An anamorphic image appears distorted from all but a few viewpoints. They have been studied by artists and architects since the early fifteenth century. Computer graphics opens t...
105
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract— A power optimal scheduling algorithm that guarantees desired throughput and bounded delay to each user is developed for fading multi-access multi-band channels that can...