3690 search results - page 184 / 738 » Computation with classical sequents |
106
Voted
LICS
1991
IEEE
15 years 4 months ago
1991
IEEE
We present an elementary axiomatisation of synthetic domain theory and show that it is sufficient to deduce the fixed point property and solve domain equations. Models of these a...
92
Voted
CORR
2007
Springer
15 years 18 days ago
2007
Springer
We propose a computing model, the Two-Way Optical Interference Automata (2OIA), that makes use of the phenomenon of optical interference. We introduce this model to investigate th...
81
Voted
MICCAI
2005
Springer
16 years 1 months ago
2005
Springer
Computations on tensors have become common with the use of DT-MRI. But the classical Euclidean framework has many defects, and affine-invariant Riemannian metrics have been propose...
95
Voted
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
We present a logic for algebraic effects, based on the algebraic representation of computational effects by operations and equations. We begin with the a-calculus, a minimal calcu...
93
Voted
ESAW
2005
Springer
15 years 6 months ago
2005
Springer
Ambient intelligence envisages a world saturated with sensors and other embedded computing technologies, operating transparently, and accessible to all in a seamless and intuitive ...