3669 search results - page 329 / 734 » Rendering |
170
Voted
CSL
2010
Springer
15 years 7 months ago
2010
Springer
We investigate a modification of the sequent calculus which s a first-order proof into its abstract deductive structure and a unifier which renders this structure a valid proof. We...
171
click to vote
CCR
2010
15 years 6 months ago
2010
Multi-core CPUs, along with recent advances in memory and buses, render commodity hardware a strong candidate for software router virtualization. In this context, we present the d...
181
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
This paper presents a semantic wiki prototype application named SHAWN that allows structuring concepts within a wiki environment. To entice the use of Semantic Web technologies app...
199
click to vote
IJVR
2006
15 years 6 months ago
2006
This work presents an approach to render appropriate shadows with Image Based Lighting in Augmented Reality applications. To approximate the result of environment lighting and shad...
162
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
— This work considers the problem of transmitting multiple compressible sources over a network with minimum cost. The problem is complicated by the fact that the description of t...