1174 search results - page 133 / 235 » Derivation of Characteristic Formulae |
144
click to vote
ICCD
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes an efficient analysis flow and an algorithm to identify the worst case noise for power networks with multiple clock domains. First, we apply the Laplace transf...
132
click to vote
SIGGRAPH
1999
ACM
15 years 9 months ago
1999
ACM
We present a solution to the general problem of characterizing shadows in scenes involving a uniform polygonal area emitter and a polygonal occluder in arbitrary position by manif...
131
click to vote
SIGMOD
1996
ACM
15 years 8 months ago
1996
ACM
Magic sets rewriting is a well-known optimization heuristic for complex decision-support queries. There can be many variants of this rewriting even for a single query, which diffe...
123
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge...
138
click to vote
KR
2000
Springer
15 years 8 months ago
2000
Springer
We explore the possibility of a logic where a conclusion substantially improves over its premise(s): Specifically, we intend to rule out inference steps such that the premise conv...