953 search results - page 73 / 191 » Constraint Based Transformation Theory |
DAC
2009
ACM
15 years 10 months ago
2009
ACM
Speculation is a well-known technique for increasing parallelism of the microprocessor pipelines and hence their performance. While implementing speculation in modern design pract...
ASIAN
2003
Springer
15 years 3 months ago
2003
Springer
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automated verification usually fails for functions with accumulating ar...
KR
2004
Springer
15 years 3 months ago
2004
Springer
Possible-world semantics are provided for Parikh’s relevance-sensitive model for belief revision. Having Grove’s system-of-spheres construction as a base, we consider addition...
CVPR
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper introduces an extension of Hartley's selfcalibration technique [8] based on properties of the essential matrix, allowing for the stable computation of varying foca...
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
Multiview studies in Computer Vision have concentrated on the constraints satisfied by individual primitives such as points and lines. Not much attention has been paid to the prop...