698 search results - page 54 / 140 » Fast functional simulation using branching programs |
126
click to vote
SIMULATION
1998
15 years 1 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
115
click to vote
NIPS
1993
15 years 2 months ago
1993
The game of Go has a high branching factor that defeats the tree search approach used in computer chess, and long-range spatiotemporal interactions that make position evaluation e...
122
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: Proteins that evolve from a common ancestor can change functionality over time, and it is important to be able identify residues that cause this change. In this paper ...
113
click to vote
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
— This paper presents an interior point approach to exact distance computation between convex objects represented as intersections of implicit surfaces. Exact distance computatio...
120
Voted
PPOPP
2012
ACM
13 years 9 months ago
2012
ACM
The virtues of deterministic parallelism have been argued for decades and many forms of deterministic parallelism have been described and analyzed. Here we are concerned with one ...