10916 search results - page 301 / 2184 » On Constructive Connectives and Systems |
163
click to vote
CIC
2003
15 years 8 months ago
2003
- Electronic textiles (e-textiles) are emerging as a novel method for constructing electronic systems in wearable and large area applications. This new type of processing system me...
167
click to vote
ACTA
2007
15 years 7 months ago
2007
In this paper we provide a bridge between the infinite state models used in control theory to describe the evolution of continuous physical processes and the finite state models ...
177
click to vote
JAPLL
2006
15 years 6 months ago
2006
This paper presents Automath encodings (which also are valid in LF/P) of various kinds of foundations of mathematics. Then it compares these encodings according to their size, to f...
167
click to vote
SCL
2008
15 years 6 months ago
2008
In this work, the problem of estimating the state in systems with continuous and discrete variables is considered. A cascade state estimator on a partial order is constructed and ...
173
click to vote
ET
2010
15 years 5 months ago
2010
—Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. For the class of static affine program...