11740 search results - page 350 / 2348 » More Problems in Rewriting |
165
click to vote
AIIA
1995
Springer
15 years 10 months ago
1995
Springer
In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an ...
187
click to vote
VR
2000
IEEE
15 years 10 months ago
2000
IEEE
Virtual environments have shown great promise as a research tool in science and engineering. In this paper we study a classical problem in mathematics: that of approximating globa...
187
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
-- In previous work, Hu and Dill identified a common cause of BDD-size blowup in high-level design verification and proposed the method of implicitly conjoined invariants to addres...
215
click to vote
MICRO
1991
IEEE
15 years 10 months ago
1991
IEEE
The performance of superscalar processors is more sensitive to the memory system delay than their single-issue predecessors. This paper examines alternative data access microarchi...
219
click to vote
AAAI
2008
15 years 9 months ago
2008
With recent advances in motion detection and tracking in video, more efforts are being directed at higher-level video analysis such as recognizing actions, events and activities. ...