877 search results - page 132 / 176 » How to Cover a Grammar |
112
Voted
RT
2001
Springer
15 years 5 months ago
2001
Springer
One of the main goals in realistic rendering is to generate images that are indistinguishable from photographs – but how do observers decide whether an image is photographic or c...
106
Voted
TACAS
2001
Springer
15 years 5 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
104
Voted
INFOCOM
2000
IEEE
15 years 5 months ago
2000
IEEE
Abstract— In this paper, we share our experience in designing and building a content based switch which we call L5. In addition to the layer 2-3-4 information available in the pa...
110
click to vote
CHI
2000
ACM
15 years 4 months ago
2000
ACM
This article introduces a new interaction model called Instrumental Interaction that extends and generalizes the principles of direct manipulation. It covers existing interaction ...
CVPR
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper we derive formal constraints relating terrain elevation and observed cast shadows. We show how an optimisation framework can be used to refine surface estimates usin...