2343 search results - page 24 / 469 » Structure and Interpretation of Computer Programs |
118
click to vote
AVI
2010
15 years 3 months ago
2010
We study the effectiveness of stereoscopy and smooth motion as 3D cues for medical interpretation of vascular structures as obtained by 3D medical imaging techniques. We designed ...
107
Voted
CSL
2005
Springer
15 years 8 months ago
2005
Springer
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...
122
click to vote
TCS
2002
15 years 2 months ago
2002
We investigate the problem of producing symmetric tilings by programs in a uniform way. By this, we mean that the construction of a tiling should be parameterized by the geometric...
111
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
216
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...