1458 search results - page 2 / 292 » The sequentially realizable functionals |
JMLR
2008
13 years 5 months ago
2008
Efficient and expressive comparison of sequences is an essential procedure for learning with sequential data. In this article we propose a generic framework for computation of sim...
DAC
1994
ACM
13 years 9 months ago
1994
ACM
Recent results indicate that functional test pattern generation (TPG) techniques may provide better defect coverages than do traditional logic-level techniques. Functional TPG alg...
TPHOL
2002
IEEE
13 years 10 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
FUIN
2006
13 years 5 months ago
2006
Bimachines are important conceptual tools used for the characterization of rational word functions (realized by single-valued transducers). Despite the attention received in the pa...
AUTOMATICA
2002
13 years 5 months ago
2002
A solution is presented for the problem of realizing a discrete-time LTI state-space model of minimal McMillan degree such that its