We present a concise and/or-tree notation for describing Hex strategies together with an easily implemented algorithm for verifying strategy correctness. To illustrate our algorith...
Ryan B. Hayward, Broderick Arneson, Philip Henders...
We present a family of unimodal maps, arising from a simple queueing model, which exhibits reverse bifurcations. We compare and contrast this with bifurcations occurring in the we...
A survey of the development of the marching cubes algorithm [W. Lorensen, H. Cline, Marching cubes: a high resolution 3D surface construction algorithm. Computer Graphics 1987; 21...
Most work on model-based cross-platform user interface development is based on an assumption that the user interfaces on the different platforms should be as similar as possible. M...
Erik G. Nilsson, Jacqueline Floch, Svein O. Hallst...
In this paper, we propose a new dynamic and efficient bounding volume hierarchy for breakable objects undergoing structured and/or unstructured motion. Our object