1888 search results - page 71 / 378 » Proof theory and computational analysis |
92
Voted
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
In cast-shadow analysis one merely draws a line between each occluder and its associated shadow cast onto a different surface, possibly with wedges indicating precision. In some c...
111
click to vote
CL
2000
Springer
15 years 4 months ago
2000
Springer
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...
94
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
101
click to vote
ICCV
2005
IEEE
16 years 2 months ago
2005
IEEE
We investigate the feasibility of reconstructing an arbitrarily-shaped specular scene (refractive or mirror-like) from one or more viewpoints. By reducing shape recovery to the pr...
88
Voted
INTERACT
2003
15 years 1 months ago
2003
Abstract: This paper proposes a way to identify professional knowledge in a heterogeneous HCI (HumanComputer Interaction) community of usability professionals, designers and resear...