3690 search results - page 98 / 738 » Computation with classical sequents |
ICPR
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper, supervised nonparametric information theoretic classification (ITC) is introduced. Its principle relies on the likelihood of a data sample of transmitting its class...
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
We propose a method by which to analyze silhouettes and recognize a classic holdup position of armed robbery. In such a situation, one actor levels his or her arm while another ac...
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present a multichannel image restoration method using Compound Gauss Markov Random Field (CGMRF) models. Information regarding the objects present in the scene is...
PDP
2009
IEEE
15 years 4 months ago
2009
IEEE
PUB (Paderborn University BSPLib) is a C library supporting the development of Bulk-Synchronous Parallel (BSP) algorithms. The BSP model allows an estimation of the execution time...
FOCS
2008
IEEE
15 years 4 months ago
2008
IEEE
We study multi-unit auctions where the bidders have a budget constraint, a situation very common in practice that has received relatively little attention in the auction theory li...