1011 search results - page 25 / 203 » The three dimensions of proofs |
114
click to vote
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Games via Three-Valued Abstraction Refinement Luca de Alfaro, Pritam Roy PII: S0890-5401(10)00018-0 DOI: 10.1016/j.ic.2009.05.007 Reference: YINCO 3711 To appear in: Information an...
103
click to vote
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
— The paper considers the problem of setting the dimensions of a system of constrained parallel robots to ensure that together they can position an end-effector in a specified s...
104
click to vote
PRESENCE
2000
15 years 1 months ago
2000
We describe methods for displaying complex, texturemapped environments with four or more spatial dimensions that allow for real-time interaction. At any one moment in time, a thre...
101
click to vote
ICML
2008
IEEE
16 years 2 months ago
2008
IEEE
In this paper we perform an empirical evaluation of supervised learning on highdimensional data. We evaluate performance on three metrics: accuracy, AUC, and squared loss and stud...