706 search results - page 22 / 142 » View-Based Consistency and Its Implementation |
LISP
2007
15 years 3 months ago
2007
: The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, ...
124
click to vote
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. We implement an algorithm for extracting appropriate collections of classic-like sound and complete tableaux rules for a large class of finite-valued logics. Its output c...
120
click to vote
TIM
2011
14 years 10 months ago
2011
—In this paper, an inertial transducer developed in bulk and etch silicon-on-insulator microelectromechanical-system technology is presented. The device is suitable for low-frequ...
137
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
The formation of synthetic aperture radar (SAR) images is formulated as an inverse problem, a flexible approach suitable for a variety of acquisition systems and signal models. T...
126
click to vote
EJASP
2011
14 years 10 months ago
2011
We develop and analyze a space time coded cooperative diversity protocol that achieves improved quality of service for mobile users in the downlink of small cells. The protocol, c...