2935 search results - page 550 / 587 » An Integrated Approach to High Integrity Software Verificati... |
141
click to vote
CGF
2007
15 years 4 months ago
2007
We introduce a GPU-friendly technique that efficiently exploits the highly structured nature of urban environments to ensure rendering quality and interactive performance of city...
143
click to vote
JAIR
2008
15 years 4 months ago
2008
In this paper, we elucidate the equivalence between inference in game theory and machine learning. Our aim in so doing is to establish an equivalent vocabulary between the two dom...
128
click to vote
DAC
2000
ACM
16 years 5 months ago
2000
ACM
erse approaches at all levels of abstraction starting from the physical level up to the system level. Experience shows that a highlevel method may have a larger impact since the de...
143
click to vote
SIGGRAPH
1999
ACM
15 years 8 months ago
1999
ACM
In this paper we present a technique for computing the direct lighting in a three-dimensional scene containing area light sources. Our method correctly handles partial visibility ...
191
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
The automatic extraction and labeling of the rib centerlines is a useful yet challenging task in many clinical applications. In this paper, we propose a new approach integrating r...