971 search results - page 140 / 195 » Approximate Satisfiability and Equivalence |
DAC
1996
ACM
15 years 4 months ago
1996
ACM
: While delay modeling of gates with a single switching input has received considerable attention, the case of multiple inputs switching in close temporal proximity is just beginni...
IWANN
1997
Springer
15 years 4 months ago
1997
Springer
A recognition model which defines a measure of shape similarity on the direct output of multiscale and multiorientation Gabor filters does not manifest qualitative aspects of huma...
ISCA
1994
IEEE
15 years 4 months ago
1994
IEEE
This paper presents an examination of different cache and processor configurations assuming transistor densities will continue to increase as they have in the past. While in the s...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
In multiagent planning, it is often convenient to view a problem as two subproblems: agent local planning and coordination. Thus, we can classify agent activities into two categor...
109
click to vote
CEC
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper presents an approach for constructing improved visual representations of high dimensional objective spaces using virtual reality. These spaces arise from the solution of...