900 search results - page 57 / 180 » On the observational theory of the CPS-calculus |
145
click to vote
CORR
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we introduce a general framework for defining the depth of a sequence with respect to a class of observers. We show that our general framework captures all depth not...
129
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Mundici considered the question of whether the interpolant of two propositional formulas of the form F G can always have a short circuit description, and showed that if this is t...
140
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
This paper is concerned with obtaining necessary and sufficient conditions for fulfilling specified state and control pointwise-in-time constraints against a certain class of nonli...
155
click to vote
CE
2008
15 years 6 months ago
2008
Motivation and pressure are considered two factors impacting vocational senior high school student learning. New communication technology, especially mobile communication technolo...
125
click to vote
SCL
2008
15 years 6 months ago
2008
We observe that successive applications of known results from the theory of positive systems lead to an efficient general algorithm for positive realizations of transfer functions...