3670 search results - page 89 / 734 » Linear Recursive Functions |
142
click to vote
ICCD
1996
IEEE
15 years 6 months ago
1996
IEEE
The Multi-Level Decomposition Diagrams (MLDDs) of this paper are a canonical representation of Boolean functions expliciting disjoint-support decompositions. MLDDs allow the reduc...
122
click to vote
AIML
2006
15 years 4 months ago
2006
Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a con...
132
click to vote
IS
2008
15 years 2 months ago
2008
XQuery is a powerful XML query language with many features and syntactic constructs. For many common queries we do not need all the expressive power of XQuery. We investigate the ...
94
Voted
AUTOMATICA
2007
15 years 2 months ago
2007
Abstract: We investigate the parametrization issue for discrete-time stable allpass multivariable systems by means of a Schur algorithm involving a Nudelman interpolation condition...
154
Voted
ACL2
2006
ACM
15 years 6 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...