9267 search results - page 246 / 1854 » Expectation-Oriented Analysis and Design |
ATAL
2011
Springer
12 years 9 months ago
2011
Springer
We consider a setting in which a principal seeks to induce an adaptive agent to select a target action by providing incentives on one or more actions. The agent maintains a belief...
ASAP
1996
IEEE
14 years 1 months ago
1996
IEEE
Kestrel is a programmable linear array processor designed for sequence analysis. Among other features, Kestrel includes an 8-bit word, a single-cycle add-and-minimize instruction, ...
ICCAD
1994
IEEE
14 years 1 months ago
1994
IEEE
This work presents techniques for computing the switching activities of all circuit nodes under pseudorandom or biased input sequences and assuming a zero delay mode of operation....
ASPDAC
2007
ACM
14 years 1 months ago
2007
ACM
A new graph reduction approach to symbolic circuit analysis is developed in this paper. A Binary Decision Diagram (BDD) mechanism is formulated, together with a specially designed ...
ER
2000
Springer
14 years 1 months ago
2000
Springer
: The size and complexity of modern information systems together with requirements for short development time increase the demands for reuse of already existing solutions. The idea...