7991 search results - page 314 / 1599 » Using More Reasoning to Improve |
170
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
In the near future, hardware is expected to become increasingly vulnerable to faults due to continuously decreasing feature size. Software-level symptoms have previously been used...
199
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
The increased use of context for high level reasoning has been popular in recent works to increase recognition accuracy. In this paper, we consider an orthogonal application of con...
150
click to vote
ICOIN
2003
Springer
15 years 12 months ago
2003
Springer
XML is being used to describe components and applications in a vendor and language neutral. Therefore it already has a role in distributed system. XML is also being used as a data ...
162
click to vote
COMCOM
2000
15 years 6 months ago
2000
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
210
click to vote
IJCAI
2003
15 years 8 months ago
2003
Query answering over commonsense knowledge bases typically employs a first-order logic theorem prover. While first-order inference is intractable in general, provers can often b...