1127 search results - page 183 / 226 » Theory Extension in ACL2(r) |
109
click to vote
JSC
2007
15 years 6 months ago
2007
Buchberger’s Gr¨obner basis theory plays a fundamental role in symbolic computation. The resulting algorithms essentially carry out several S-polynomial reductions. In his PhD ...
140
click to vote
AUTOMATICA
2004
15 years 6 months ago
2004
Repetitive processes are a distinct class of 2D systems (i.e. information propagation in two independent directions) of both systems theoretic and applications interest. They cann...
124
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
This paper addresses the issue of state-space realizations for nonlinear adjoint operators. In particular, the relationships between nonlinear Hilbert adjoint operators, Hamiltoni...
160
click to vote
COMPSEC
2004
15 years 6 months ago
2004
Identifying the intentions or attempts of the monitored agents through observations is very vital in computer network security. In this paper, a plan recognition method for predict...
152
click to vote
JCT
2000
15 years 5 months ago
2000
Givena Hermitian,non-negativede nitekernelK and a character of the symmetric group on n letters, de ne the corresponding immanant function K x1;::: ;xn := P Qn i=1 Kxi;x i, where ...