1302 search results - page 154 / 261 » Free-Style Theorem Proving |
TCS
2008
13 years 10 months ago
2008
Most genome rearrangements (e.g., reversals and translocations) can be represented as 2-breaks that break a genome at 2 points and glue the resulting fragments in a new order. Mul...
ACS
2004
13 years 10 months ago
2004
In this paper we introduce and study a cohomology theory {Hn(-, A)} for simplicial sets with coefficients in symmetric categorical groups A. We associate to a symmetric categorical...
CAGD
2000
13 years 10 months ago
2000
This paper presents a method for estimating curvature values of a surface, which is given only approximatively, e.g., by measured data. The presented method requires estimates of ...
COLING
2002
13 years 10 months ago
2002
We present an architecture for spoken dialogue systems where first-order inference (both theorem proving and model building) plays a crucial role in interpreting utterances of dia...
ICCAD
2002
IEEE
14 years 7 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...