2308 search results - page 39 / 462 » Representing Symbolic Reasoning |
172
click to vote
PSSS
2003
15 years 6 months ago
2003
: RDF-based tools promise to provide a base for reasoning about metadata and about situated data—data describing entities situated in time and space—that is superior to alterna...
143
click to vote
TPHOL
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...
165
click to vote
ICDAR
2009
IEEE
15 years 3 months ago
2009
IEEE
In this paper, we tackle the problem of localizing graphical symbols on complex technical document images by using an original approach to solve the subgraph isomorphism problem. ...
172
click to vote
GLVLSI
2000
IEEE
15 years 9 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
134
click to vote
FMSD
2006
15 years 5 months ago
2006
Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlie...