9186 search results - page 1233 / 1838 » A Module System for Scheme |
144
click to vote
ISSAC
1989
Springer
15 years 10 months ago
1989
Springer
In this paper, we describe a parallelization scheme for Collins’ cylindrical algebraic decomposition algorithm for quantifier elimination in the theory of real closed fields. ...
151
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. We present a new scheme to translate mathematical developments from HOL Light to Coq, where they can be re-used and rechecked. By relying on a carefully chosen embedding ...
167
click to vote
CONEXT
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we examine the impact of the adopted playout policy on the overall performance of a P2P streaming system. It is argued and showed that adopting (popular) playout pol...
157
click to vote
AVBPA
2001
Springer
15 years 10 months ago
2001
Springer
A scheme for pose-independent face recognition is presented. An "unwrapped" texture map is constructed from a video sequence using a texture-from-motion approach, which ...
156
click to vote
SI3D
1995
ACM
15 years 9 months ago
1995
ACM
We describe an approach for determining potentially visible sets in dynamic architectural models. Our scheme divides the models into cells and portals, computing a conservative es...