2620 search results - page 427 / 524 » Qualities in Possible Worlds |
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
SP
2008
IEEE
15 years 6 months ago
2008
IEEE
The efficacy of Anomaly Detection (AD) sensors depends heavily on the quality of the data used to train them. Artificial or contrived training data may not provide a realistic v...
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
: 2-D Discrete Cosine Transform (DCT) is widely used as the core of digital image and video compression. In this paper, we present a novel DCT architecture that allows aggressive v...
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
— In this paper, we present a two-layer rate control In [4], their rate controller TMN8 applied the Lagrange framework for low delay video transmission based on a multiplier to d...
CIKM
2007
Springer
15 years 6 months ago
2007
Springer
A user-centric entity detection system is one in which the primary consumer of the detected entities is a person who can perform actions on the detected entities (e.g. perform a s...