3362 search results - page 37 / 673 » A definition of subjective possibility |
ECCV
1994
Springer
16 years 1 months ago
1994
Springer
We analyse a class of tandem fields invariant by stochastic synchronous updating of all sites, subject to a generaJlzed reversibility assumption. We give a formal definition and pr...
STOC
2009
ACM
16 years 13 days ago
2009
ACM
A function on n variables is called a k-junta if it depends on at most k of its variables. In this article, we show that it is possible to test whether a function is a k-junta or ...
KDD
2009
ACM
16 years 11 days ago
2009
ACM
Controlled experiments, also called randomized experiments and A/B tests, have had a profound influence on multiple fields, including medicine, agriculture, manufacturing, and adv...
194
click to vote
POPL
2008
ACM
16 years 4 days ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...
196
click to vote
POPL
2005
ACM
16 years 4 days ago
2005
ACM
We define compositional compilation as the ability to typecheck source code fragments in isolation, generate corresponding binaries, and link together fragments whose mutual assum...