805 search results - page 100 / 161 » On the Semantics of Conditional Commitment |
130
click to vote
GG
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Graph programs as introduced by Habel and Plump [8] provide a simple yet computationally complete language for computing functions and relations on graphs. We extend this...
143
click to vote
IEEEARES
2010
IEEE
15 years 8 months ago
2010
IEEE
Many software security vulnerabilities only reveal themselves under certain conditions, i.e., particular configurations of the software together with its particular runtime environ...
122
click to vote
VLDB
2002
ACM
15 years 4 months ago
2002
ACM
Policies are widely used in many systems and applications. Recently, it has been recognized that a "yes/no" response to every scenario is just not enough for many modern...
140
click to vote
AAAI
2011
14 years 4 months ago
2011
Blocking is a technique commonly used in manual statistical analysis to account for confounding variables. However, blocking is not currently used in automated learning algorithms...
133
click to vote
JOCN
2011
14 years 11 months ago
2011
■ This study examined neural activity associated with establishing causal relationships across sentences during on-line comprehension. ERPs were measured while participants read...