Sciweavers

4850 search results - page 77 / 970
» Proof and Computation in Geometry
Sort
View
CGF
2010
124views more  CGF 2010»
15 years 1 months ago
Letters to the Editors
Thomas J. Peters, Ph. D
CII
2011
113views more  CII 2011»
15 years 1 months ago
A survey on industrial applications of fuzzy control
Radu-Emil Precup, Hans Hellendoorn
CVPR
2008
IEEE
16 years 8 months ago
Flat refractive geometry
Tali Treibitz, Yoav Y. Schechner, Hanumant Singh
CSL
2008
Springer
15 years 8 months ago
Quantitative Game Semantics for Linear Logic
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
Ugo Dal Lago, Olivier Laurent