8728 search results - page 1657 / 1746 » On Reduct Construction Algorithms |
COCO
2004
Springer
14 years 24 days ago
2004
Springer
Abstract: Although a quantum state requires exponentially many classical bits to describe, the laws of quantum mechanics impose severe restrictions on how that state can be accesse...
CHARME
2003
Springer
14 years 21 days ago
2003
Springer
Abstract. We propose new, tractably (in some cases provably) efficient algorithmic methods for exact (sound and complete) parameterized reasoning about cache coherence protocols. F...
TACAS
2000
Springer
14 years 18 days ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
ISSS
1995
IEEE
14 years 18 days ago
1995
IEEE
To construct complete systems on silicon, application speci c DSP accelerators are needed to speed up the execution of high throughput DSP algorithms. In this paper, a methodology...
CDC
2009
IEEE
14 years 11 days ago
2009
IEEE
— This paper presents an integrated direct/indirect adaptive robust control (DIARC) scheme for a class of nonlinear systems preceded by unknown non-symmetric, non-equal slope dea...