2026 search results - page 196 / 406 » Game Engines for Visualization |
133
click to vote
TVCG
2012
13 years 6 months ago
2012
—Effective three-dimensional streamline placement and visualization plays an essential role in many science and engineering disciplines. The main challenge for effective streamli...
128
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
We provide in this article two characterisation results, describing exactly which terms verify the dinaturality diagram, in Church-style system F and in Curry-style system F. The ...
130
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
145
Voted
FSTTCS
2005
Springer
15 years 9 months ago
2005
Springer
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
139
click to vote
AAAI
2004
15 years 5 months ago
2004
This paper describes requirements for synthetic adversaries for urban combat training and MOUTBots, a prototype application. The MOUTBots use a commercial computer game to define,...