835 search results - page 10 / 167 » Geometric Logic in Computer Science |
TCS
2008
13 years 8 months ago
2008
This is a survey of results about versions of fine hierarchies and many-one reducibilities that appear in different parts of theoretical computer science. These notions and relate...
CONCUR
1991
Springer
14 years 3 days ago
1991
Springer
CAD
2000
Springer
13 years 8 months ago
2000
Springer
In this paper we consider error propagation in geometric constructions from a geometric viewpoint. First we study affine combinations of convex bodies: This has numerous examples ...
ACSC
2006
IEEE
14 years 10 days ago
2006
IEEE
We introduce a logic for reasoning about and constructing refinements for
FPGA
2009
ACM
14 years 3 months ago
2009
ACM
Many natural processes exhibit exponential decay and, consequently, computational scientists make extensive use of e−x in computer simulation experiments. While it is common to ...