8582 search results - page 157 / 1717 » Here or There |
165
click to vote
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...
151
click to vote
AAECC
1993
Springer
15 years 10 months ago
1993
Springer
Symplectic integrators are numerical integration schemes for hamiltonian systems. The integration step is an explicit symplectic map. We find symplectic integrators using universa...
154
click to vote
SIGGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
Shifted sinusoidal illumination patterns are useful for appearance capture because they simultaneously separate local and non-local reflections and allow the recovery of surface g...
138
click to vote
COCO
1993
Springer
15 years 10 months ago
1993
Springer
Recently Lutz [14,15] introduced a polynomial time bounded version of Lebesgue measure. He and others (see e.g. [11,13,14,15,16,17,18,20]) used this concept to investigate the quan...
151
click to vote
EPIA
1993
Springer
15 years 10 months ago
1993
Springer
We present some recent results from our research on methods for finding the minimal solutions to linear Diophantine equations over the naturals. We give an overview of a family of...