835 search results - page 10 / 167 » Geometric Logic in Computer Science |
TCS
2008
14 years 11 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
15 years 3 months ago
1991
Springer
101
click to vote
CAD
2000
Springer
14 years 11 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
15 years 3 months ago
2006
IEEE
We introduce a logic for reasoning about and constructing refinements for
102
click to vote
FPGA
2009
ACM
15 years 6 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 ...