3031 search results - page 300 / 607 » Virtual development center |
159
click to vote
FOSAD
2009
Springer
15 years 10 months ago
2009
Springer
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...
189
click to vote
WSC
2007
15 years 9 months ago
2007
SimVis is a novel technology for the interactive visual analysis of large and complex flow data which results from Computational Fluid Dynamics (CFD) simulation. The new technolo...
186
click to vote
CVPR
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we present a novel single-image vignetting method based on the symmetric distribution of the radial gradient (RG). The radial gradient is the image gradient along t...
162
click to vote
DIAGRAMS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we develop a cognitive account of autism centered around a reliance on pictorial representations. This Thinking in Pictures hypothesis shows significant po...
176
click to vote
IWEC
2010
15 years 8 months ago
2010
In many computer games narrative is a core component with the game centering on an unfolding, interactive storyline which both motivates and is driven by the game-play. Analyzing n...