1888 search results - page 97 / 378 » Proof theory and computational analysis |
176
click to vote
IANDC
2010
15 years 4 months ago
2010
stract Completion Guillaume Burel a,c,∗ Claude Kirchner b,c aNancy-Universit´e, Universit´e Henri Poincar´e bINRIA Bordeaux - Sud-Ouest cLORIA, ´Equipe Pareo, Bˆatiment B, C...
164
click to vote
FOCS
2006
IEEE
16 years 12 days ago
2006
IEEE
The “analyst’s traveling salesman theorem” of geometric measure theory characterizes those subsets of Euclidean space that are contained in curves of finite length. This re...
141
click to vote
EUROPAR
2005
Springer
15 years 12 months ago
2005
Springer
The process of scheduling computations for Internet-based computing presents challenges not encountered with more traditional platforms for parallel and distributed computing. The...
137
click to vote
COCOON
2008
Springer
15 years 8 months ago
2008
Springer
We use nontrivial connections between the theory of computing and the finescale geometry of Euclidean space to give a complete analysis of the dimensions of individual points in f...
155
click to vote
DIGRA
2003
Springer
15 years 11 months ago
2003
Springer
This paper examines the computer game Harry Potter and the Philosopher’s Stone in relation to the novel with the same title. The analysis focuses on the temporal aspects of the ...