706 search results - page 22 / 142 » View-Based Consistency and Its Implementation |
LISP
2007
13 years 9 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, ...
CADE
2008
Springer
14 years 10 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...
TIM
2011
13 years 4 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...
ICASSP
2011
IEEE
13 years 1 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...
EJASP
2011
13 years 4 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...