12697 search results - page 2366 / 2540 » Call for Papers |
LICS
2002
IEEE
14 years 3 months ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...
MICRO
2002
IEEE
14 years 3 months ago
2002
IEEE
Register integration (or just integration) is a register renaming discipline that implements instruction reuse via physical register sharing. Initially developed to perform squash...
RTSS
2002
IEEE
14 years 3 months ago
2002
IEEE
Closed-loop control systems are dynamic systems subject to perturbations. One of the main concerns of the control is to design controllers to correct or limit the deviation that t...
SAINT
2002
IEEE
14 years 3 months ago
2002
IEEE
An IX (Internet eXchange) is a mechanism to interconnect many networks to each other. Currently, an ISP (Internet Service Provider) establishes numerous interconnections to other ...
VISUALIZATION
2002
IEEE
14 years 3 months ago
2002
IEEE
Comparative evaluation of visualization and experiment results is a critical step in computational steering. In this paper, we present a study of image comparison metrics for quan...