1763 search results - page 8 / 353 » Dependent random choice |
96
Voted
WSC
2008
15 years 2 months ago
2008
Multitrajectory simulation allows explicit management of random events by allowing particular events to be resolved by random draw, by a deterministic choice, or by creating new s...
104
click to vote
CADE
2010
Springer
15 years 25 days ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
CSL
2005
Springer
15 years 5 months ago
2005
Springer
We study computability on sequence spaces, as they are used in functional analysis. It is known that non-separable normed spaces cannot be admissibly represented on Turing machines...
CSCW
2008
ACM
15 years 1 months ago
2008
ACM
Collaborative tagging systems have the potential to produce socially constructed information organization schemes. The effectiveness of tags for finding and re-finding information...
109
click to vote
AGP
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives without the burden of any form of negation. This complete ab...