1763 search results - page 286 / 353 » A Formalization of Polytime Functions |
121
click to vote
ISPD
1997
ACM
15 years 2 months ago
1997
ACM
The wire sizing problem under inequality Elmore delay constraints is known to be posynomial, hence convex under an exponential variable-transformation. There are formal methods fo...
AUSAI
1997
Springer
15 years 2 months ago
1997
Springer
Co-ordination is the glue that binds the activities of autonomous problem-solving agents together into a functional whole. Co-ordination mechanisms for distributed problem-solving ...
DAC
1994
ACM
15 years 1 months ago
1994
ACM
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...
IUI
1993
ACM
15 years 1 months ago
1993
ACM
The goal of this paper is to model an agent who dislikes large choice sets because of the “cost of thinking” involved in choosing from them. We take as a primitive a preferenc...
ISKI
1994
15 years 1 months ago
1994
There is a manifold of meanings we could associate with the term \evolution" in the database arena. This paper tries to categorize some of these into a unique framework, showi...