3104 search results - page 415 / 621 » Using quantitative analysis to implement autonomic IT system... |
121
click to vote
ICAC
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a technique that controls the peak power consumption of a high-density server by implementing a feedback controller that uses precise, system-level power measurement to ...
130
click to vote
KAIS
2006
15 years 5 months ago
2006
Typographic and visual information is an integral part of textual documents. Most information extraction systems ignore most of this visual information, processing the text as a l...
179
click to vote
ICVS
1999
Springer
15 years 9 months ago
1999
Springer
While computing power and transmission bandwidth have both been steadily increasing over the last few years, bandwidth rather than processing power remains the primary bottleneck f...
160
click to vote
MM
2004
ACM
15 years 10 months ago
2004
ACM
While most current approaches for sports video analysis are based on broadcast video, in this paper, we present a novel approach for highlight detection and automatic replay gener...
152
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that combines 1) Boolean algebra of sets of uninterpreted elements (BA) and 2) Presburger arithmetic (PA). BA...