5243 search results - page 329 / 1049 » Reasoning About Strategies |
256
click to vote
HT
2011
ACM
14 years 10 months ago
2011
ACM
Personalized search and browsing is increasingly vital especially for enterprises to able to reach their customers. Key challenge in supporting personalization is the need for ric...
182
click to vote
STOC
2007
ACM
16 years 7 months ago
2007
ACM
We study properties of quantum strategies, which are complete specifications of a given party's actions in any multiple-round interaction involving the exchange of quantum in...
167
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
In the light of evidence that Haskell programs compiled by GHC exhibit large numbers of mispredicted branches on modern processors, we re-examine the "tagless" aspect of...
150
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Experimental analysis of agent strategies in multiagent systems presents a tradeoff between granularity and statistical confidence. Collecting a large amount of data about each s...
179
click to vote
MICRO
1993
IEEE
15 years 11 months ago
1993
IEEE
The conventional classification of inter-instruction dependencies (data, anti and output dependencies) provides a basic scheme for the analysis of pipeline hazards in pipelined in...