9284 search results - page 1496 / 1857 » Knowledge State Algorithms |
162
click to vote
IGPL
2000
15 years 6 months ago
2000
Recent years have seen the emergence of a new generation of heavily-optimised modal decision procedures. Several systems based on such procedures are now available and have proved...
174
click to vote
ET
2002
15 years 6 months ago
2002
In this paper we present a new reseeding technique for test-per-clock test pattern generation suitable for at-speed testing of circuits with random-pattern resistant faults. Our te...
156
click to vote
JSAC
2000
15 years 6 months ago
2000
Enhanced Data Rates for Global Evolution (EDGE) is currently being standardized as an evolution of GSM in Europe and of IS-136 in the United States as an air interface for high spe...
186
click to vote
ML
2000
ACM
15 years 6 months ago
2000
ACM
This paper discusses a novel distributed adaptive algorithm and representation used to construct populations of adaptive Web agents. These InfoSpiders browse networked information ...
177
click to vote
JMLR
2002
15 years 6 months ago
2002
In this paper we prove the so-called "Meek Conjecture". In particular, we show that if a DAG H is an independence map of another DAG G, then there exists a finite sequen...