1011 search results - page 47 / 203 » The three dimensions of proofs |
264
click to vote
ERSHOV
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. We present an algorithm for generating all polynomial invariants of Psolvable loops with assignments and nested conditionals. We prove termination of our algorithm. The p...
125
click to vote
GMP
2006
IEEE
16 years 7 days ago
2006
IEEE
Abstract. A new topological representation of surfaces in higher dimensions, “cell-chains” is developed. The representation is a generalization of Brisson’s cell-tuple data s...
143
click to vote
COMPUTING
2007
15 years 6 months ago
2007
In this paper we introduce construction algorithms for Korobov rules for numerical integration which work well for a given set of dimensions simultaneously. The existence of such ...
205
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. Multi-sampled imaging is a general framework for using pixels on an image detector to simultaneously sample multiple dimensions of imaging (space, time, spectrum, brightn...
172
click to vote
ICCAD
2006
IEEE
16 years 7 days ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...