21876 search results - page 309 / 4376 » Computer game-flow design |
166
click to vote
COMPGEOM
2007
ACM
15 years 10 months ago
2007
ACM
The Bentley-Ottmann (BO) algorithm, initially designed to report the intersection points of line-segments in the plane, is the prototypical sweep-line algorithm. This video presen...
203
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
160
click to vote
ICALP
2010
Springer
15 years 10 months ago
2010
Springer
We present an O(m + n)-time algorithm that tests if a given directed graph is 2-vertex connected, where m is the number of arcs and n is the number of vertices. Based on this resul...
185
click to vote
ACE
2004
15 years 8 months ago
2004
The Unified Modelling Language (UML) is a diagrammatic notation widely used in the computing industry and often taught in universities as a way to represent software requirements ...
170
click to vote
CSC
2006
15 years 8 months ago
2006
: The solution of the equation of heat transfer for pyramidal spines is obtained using computer algebra software. We consider pyramidal spines with three different sectional areas:...