2308 search results - page 62 / 462 » Representing Symbolic Reasoning |
167
click to vote
SAS
2010
Springer
15 years 3 months ago
2010
Springer
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
198
click to vote
IJDAR
2010
15 years 2 months ago
2010
We study online classification of isolated handwritten symbols using distance measures on spaces of curves. We compare three distance-based measures on a vector space representatio...
179
click to vote
TABLEAUX
2000
Springer
15 years 9 months ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...
192
click to vote
ICDE
1991
IEEE
15 years 9 months ago
1991
IEEE
— Constraints play an important role in the efficient query evaluation in deductive databases. In this paper, constraint-based query evaluation in deductive databases is investi...
149
click to vote
ICC
2007
IEEE
15 years 12 months ago
2007
IEEE
— This paper proposes a new method for peak to average power ratio (PAPR) reduction in orthogonal frequency division multiplexing (OFDM) systems using two alternative signalling ...