1350 search results - page 207 / 270 » Generalized Committed Choice |
JUCS
2007
14 years 11 months ago
2007
: Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to each other. We classi...
102
click to vote
MOC
2002
14 years 11 months ago
2002
Dimensionally unbounded problems are frequently encountered in practice, such as in simulations of stochastic processes, in particle and light transport problems and in the problem...
103
click to vote
IPMI
2001
Springer
16 years 21 days ago
2001
Springer
Statistical analysis of anatomical shape differences between two different populations can be reduced to a classification problem, i.e., learning a classifier function for assignin...
SIGSOFT
2007
ACM
16 years 18 days ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
110
click to vote
TCC
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. Goldreich (ECCC 2000) proposed a candidate one-way function construction which is parameterized by the choice of a small predicate (over d = O(1) variables) and of a bipa...