1888 search results - page 144 / 378 » Proof theory and computational analysis |
125
click to vote
COMPGEOM
2003
ACM
15 years 6 months ago
2003
ACM
We address the problem of curvature estimation from sampled smooth surfaces. Building upon the theory of normal cycles, we derive a definition of the curvature tensor for polyhed...
112
click to vote
DIGRA
2003
Springer
15 years 5 months ago
2003
Springer
This essay adopts a formal model of play as semiosis [18] to explore the often dysfunctional role of backstories within computer game design and play. Within this model, backstori...
105
Voted
SPIN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
123
click to vote
HIPC
2005
Springer
15 years 6 months ago
2005
Springer
Graph theoretic problems are representative of fundamental computations in traditional and emerging scientific disciplines like scientific computing, computational biology and b...
120
Voted
FOCS
2000
IEEE
15 years 5 months ago
2000
IEEE
We motivate and develop a natural bicriteria measure for assessing the quality of a clustering that avoids the drawbacks of existing measures. A simple recursive heuristic is shown...