1742 search results - page 21 / 349 » An Applicative Module Calculus |
TABLEAUX
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. Set theory is the common language of mathematics. Therefore, set theory plays an important r^ole in many important applications of automated deduction. In this paper, we ...
TIME
2007
IEEE
15 years 4 months ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
JFP
2008
14 years 9 months ago
2008
The historical design of the call-by-value theory of control relies on the reification of evaluation contexts as regular functions and on the use of ordinary term application for ...
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
Modulation forensics is to detect the modulation type in wireless communications without any prior information. It nds both military and civilian applications such as surveillance...
VTS
2002
IEEE
15 years 2 months ago
2002
IEEE
Single-bit second-order delta-sigma modulators are commonly used in high-resolution ADCs. Testing this type of modulator requires a high-resolution test stimulus, which is diffic...