366 search results - page 39 / 74 » Machine Function Based Control Code Algebras |
CADE
1990
Springer
14 years 22 days ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
TASLP
2002
13 years 8 months ago
2002
This paper proposes a versatile perceptual audio coding method that achieves high compression ratios and is capable of low encoding/decoding delay. It accommodates a variety of sou...
JAR
2006
13 years 8 months ago
2006
Otter-lambda is Otter modified by adding code to implement an algorithm for lambda unification. Otter is a resolution-based, clause-language first-order prover that accumulates de...
MICRO
2009
IEEE
14 years 3 months ago
2009
IEEE
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...
WIOPT
2006
IEEE
14 years 2 months ago
2006
IEEE
— This paper presents the first analytical model for ad hoc networks equipped with multiple-input multiple-output (MIMO) radios using space-time coding (STC) that considers the ...