6142 search results - page 272 / 1229 » The Complexity of Partition Functions |
164
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
204
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
Modern search engines are expected to make documents searchable shortly after they appear on the ever changing Web. To satisfy this requirement, the Web is frequently crawled. Due...
161
click to vote
ICDT
1999
ACM
15 years 10 months ago
1999
ACM
Abstract. In this paper we present a new approach for studying aggregations in the context of database query languages. Starting from a broad de nition of aggregate function, we ad...
188
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Higher order energy functions have the ability to encode
high level structural dependencies between pixels, which
have been shown to be extremely powerful for image labeling
pro...
192
click to vote
ICCV
1998
IEEE
16 years 8 months ago
1998
IEEE
A new cascade basis reduction method of computing the optimal least-squares set of basis functions to steer a given function locally is presented. The method combines the Lie grou...