13383 search results - page 368 / 2677 » Abstractions from proofs |
175
click to vote
CEFP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we sketch some experiments with the construction of a simple compiler for a high level intermediate lazy functional language, with C++ as a target language....
167
click to vote
CLEAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper presents a visual particle filter for jointly tracking the position of a person and her head pose. The resulting information may be used to support automatic ...
157
click to vote
DIS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This chapter describes how we used regression rules to improve upon results previously published in the Earth science literature. In such a scientific application of mac...
203
click to vote
SAT
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. A promising approach for model counting was recently introduced, which in theory requires the use of large random xor or parity constraints to obtain near-exact counts of...
160
click to vote
SAT
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper shows that idempotents in finite rings of integers can act as Generalized Boolean Assignments (GBA’s) by providing a completeness theorem. We introduce the ...