1724 search results - page 118 / 345 » Abstract Interpreters for Free |
156
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be d...
153
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Nominal Logic is an extension of first-order logic with equality, name-binding, name-swapping, and freshness of names. Contrarily to higher-order logic, bound variables a...
146
click to vote
JUCS
2008
15 years 6 months ago
2008
Abstract: We developed a free form deformation application for an immersive environment in which users can interact freely using data gloves. To ensure better comfort and performan...
176
click to vote
TCAD
2008
15 years 6 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
141
click to vote
TWC
2008
15 years 6 months ago
2008
Abstract--We analyze asymptotic ergodic capacity of multidimensional vector-sensor array MIMO (PMD-MIMO) channels established by the use of dual-polarized antennas in the form of 1...