7335 search results - page 142 / 1467 » Scene Based Reasoning |
109
click to vote
TVLSI
2008
15 years 3 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
136
click to vote
APIN
2004
15 years 3 months ago
2004
Here we first describe the concepts, components and features of CBR. The feasibility and merits of using CBR for problem solving is then explained. This is followed by a descriptio...
114
click to vote
CI
2002
15 years 3 months ago
2002
We address long-term coalitions that are formed of both customer and vendor agents. We present a coalition formation mechanism designed at the agent level as a decision problem. Th...
120
click to vote
MLQ
2000
15 years 3 months ago
2000
The connection between similarity logic and the theory of closure operators is examined. Indeed one proves that the consequence relation defined in [14] can be obtained by composin...