3710 search results - page 500 / 742 » A new calculus of contexts |
193
click to vote
CIA
2007
Springer
16 years 25 days ago
2007
Springer
When two or more agents interacting, their behaviors are not necessarily matching. Automated ways to overcome con icts in the behavior of agents can make the execution of interacti...
157
click to vote
COCO
2007
Springer
16 years 25 days ago
2007
Springer
We make progress in understanding the complexity of the graph reachability problem in the context of unambiguous logarithmic space computation; a restricted form of nondeterminism....
169
click to vote
CONCUR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
156
click to vote
CTRSA
2007
Springer
16 years 25 days ago
2007
Springer
This paper announces a new software side-channel attack — enabled by the branch prediction capability common to all modern highperformance CPUs. The penalty paid (extra clock cyc...
175
click to vote
ECML
2007
Springer
16 years 25 days ago
2007
Springer
Decision tree learning algorithms produce accurate models that can be interpreted by domain experts. However, these algorithms are known to be unstable – they can produce drastic...