2487 search results - page 73 / 498 » cases 2009 |
163
click to vote
TPHOL
2009
IEEE
16 years 17 days ago
2009
IEEE
Abstract. We present a Coq formalization of constructive ω-cpos (extending earlier work by Paulin-Mohring) up to and including the inverselimit construction of solutions to mixed-...
164
click to vote
ICASSP
2009
IEEE
15 years 3 months ago
2009
IEEE
In the area of combination of adaptive filters, two main approaches, namely convex and affine combinations have been introduced. In this article, the relation between these two ap...
189
click to vote
KDD
2009
ACM
16 years 6 months ago
2009
ACM
: ? Improving Clustering Stability with Combinatorial MRFs Bekkerman, Ron; Scholz, Martin; Viswanathan, Krishnamurthy HP Laboratories HPL-2009-46 Clustering stability, combinatoria...
163
click to vote
CASES
2009
ACM
15 years 3 months ago
2009
ACM
In this paper we address the issue of making a program reversible in terms of spatial complexity. Spatial complexity is the amount of memory/register locations required for perfor...
196
click to vote
ISAAC
2009
Springer
16 years 15 days ago
2009
Springer
We introduce a new probing problem: what is the minimum number of cameras at fixed positions necessary and sufficient to reconstruct any strictly convex polygon contained in a dis...