186 search results - page 27 / 38 » Completing Inverse Entailment |
MICRO
2002
IEEE
14 years 1 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...
AOR
2006
13 years 8 months ago
2006
In this paper we briefly review the importance of LP (linear programming), and Dantzig's main contributions to OR (Operations Research), mathematics, and computer science. In...
AROBOTS
2002
13 years 8 months ago
2002
The complexity of the kinematic and dynamic structure of humanoid robots make conventional analytical approaches to control increasingly unsuitable for such systems. Learning techn...
EUROSYS
2011
ACM
13 years 3 days ago
2011
ACM
Symmetric multiprocessing (SMP) virtual machines (VMs) allow users to take advantage of a multiprocessor infrastructure. Despite the advantage, SMP VMs can cause synchronization l...
CVPR
2008
IEEE
14 years 10 months ago
2008
IEEE
Texture information in images is coupled with geometric macrostructures and piecewise-smooth intensity variations. Decomposing an image f into a geometric structure component u an...