2022 search results - page 236 / 405 » Natural-Language Semantics for Associations |
161
click to vote
SAS
2007
Springer
16 years 1 days ago
2007
Springer
Floating-point arithmetic is an important source of errors in programs because of the loss of precision arising during a computation. Unfortunately, this arithmetic is not intuitiv...
181
click to vote
LICS
2006
IEEE
15 years 12 months ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
136
click to vote
CSL
2008
Springer
15 years 7 months ago
2008
Springer
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...
156
click to vote
VSMM
2007
Springer
16 years 1 days ago
2007
Springer
Nowadays, more Virtual Environments (VEs) are becoming available on the Web. This means that VEs are becoming accessible to a larger and more diverse audience. It also means that i...
161
click to vote
IJVR
2008
15 years 6 months ago
2008
These Nowadays more Virtual Environment (VEs) are becoming available on the web. This means that VE are becoming more accessible to a larger and more diverse audience. It also mean...