2087 search results - page 91 / 418 » Computation of class numbers of quadratic number fields |
ATAL
2008
Springer
14 years 12 months ago
2008
Springer
Bots for Real Time Strategy (RTS) games provide a rich challenge to implement. A bot controls a number of units that may have to navigate in a partially unknown environment, while...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
There has been a substantial growth in the number of educational and networking opportunities for professionals in the computer graphics and related fields in the last three years...
JSYML
2002
14 years 9 months ago
2002
Abstract. This paper develops the very basic notions of analysis in a weak secondorder theory of arithmetic BTFA whose provably total functions are the polynomial time computable f...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
An edge-colored directed graph is observable if an agent that moves along its edges is able to determine his position in the graph after a sufficiently long observation of the edge...
VIS
2003
IEEE
15 years 11 months ago
2003
IEEE
Volume rendering is a flexible technique for visualizing dense 3D volumetric datasets. A central element of volume rendering is the conversion between data values and observable q...