1763 search results - page 208 / 353 » A Formalization of Polytime Functions |
AICCSA
2001
IEEE
15 years 1 months ago
2001
IEEE
A trend in software development is to assemble a system from a number of components. These may be either available commercially off-the-shelf, or by the use of network-based resou...
DAC
1995
ACM
15 years 1 months ago
1995
ACM
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...
MPC
1995
Springer
15 years 1 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
ICCAD
1994
IEEE
15 years 1 months ago
1994
IEEE
This paper describes a procedure for minimizing the power consumption in a boolean network under the zero delay model. Power is minimized by modifying the function of each interme...
ICML
1994
IEEE
15 years 1 months ago
1994
IEEE
In the Markov decision process (MDP) formalization of reinforcement learning, a single adaptive agent interacts with an environment defined by a probabilistic transition function....