1569 search results - page 126 / 314 » Programming contest strategy |
114
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
There has been significant recent interest in game theoretic approaches to security, with much of the recent research focused on utilizing the leader-follower Stackelberg game mod...
119
click to vote
ICFP
1999
ACM
15 years 4 months ago
1999
ACM
The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and pro...
108
click to vote
JFP
2000
15 years 10 days ago
2000
Indeterminism is typical for concurrent computation. If several concurrent actors compete for the same resource then at most one of them may succeed, whereby the choice of the suc...
111
click to vote
BMCBI
2008
15 years 20 days ago
2008
Background: There has been considerable effort focused on developing efficient programs for tagging single-nucleotide polymorphisms (SNPs). Many of these programs do not account f...
213
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we show how pattern matching can be seen to arise from a proof term assignment for the focused sequent calculus. This use of the Curry-Howard correspondence allows ...