618 search results - page 10 / 124 » Reducibility and TT-Lifting for Computation Types |
LFCS
1994
Springer
14 years 20 days ago
1994
Springer
In a previous paper [4], we introduced a non-deterministic -calculus (-LK) whose type system corresponds exactly to Gentzen's cut-free LK [9]. This calculus, however, cannot b...
VLSID
2006
IEEE
14 years 9 months ago
2006
IEEE
In this paper, 16-bit, 50 MHz Current Steering DAC is designed. This DAC is implemented using TSMC 0.35 ?m technology. An optimum segmentation is done of 16-bits into binary and t...
HAPTICS
2007
IEEE
14 years 2 months ago
2007
IEEE
Geometric (proxy-based) haptic rendering algorithms are widely used in impedance-type haptic rendering. Such methods are useful for developing complex virtual environment because ...
CADE
1998
Springer
14 years 25 days ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
GRC
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract—Many experiments have shown that interval type2 (IT2) fuzzy PI controllers are generally more robust than their type-1 (T1) counterparts, as they are better able to cope...