Sciweavers

1068 search results - page 18 / 214
» Group Dominant Strategies
Sort
View
VLDB
1998
ACM
132views Database» more  VLDB 1998»
15 years 1 months ago
Buffering and Read-Ahead Strategies for External Mergesort
The elapsed time for external mergesort is normally dominated by I/O time. This paper is focused on reducing I/O time during the merge phase. Three new buffering and readahead str...
Weiye Zhang, Per-Åke Larson
CORR
2007
Springer
96views Education» more  CORR 2007»
14 years 9 months ago
Common Beliefs and Public Announcements in Strategic Games with Arbitrary Strategy Sets
We provide an epistemic analysis of arbitrary strategic games based on possibility correspondences. Such an analysis calls for the use of transfinite iterations of the correspond...
Krzysztof R. Apt, Jonathan A. Zvesper
CLEF
2000
Springer
15 years 2 months ago
Translation Resources, Merging Strategies, and Relevance Feedback for Cross-Language Information Retrieval
This paper describes the official runs of the Twenty-One group for the first CLEF workshop. The Twenty-One group participated in the monolingual, bilingual and multilingual tasks....
Djoerd Hiemstra, Wessel Kraaij, Renée Pohlm...
FM
2006
Springer
146views Formal Methods» more  FM 2006»
15 years 1 months ago
Exact and Approximate Strategies for Symmetry Reduction in Model Checking
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
Alastair F. Donaldson, Alice Miller
CSCW
2004
ACM
15 years 3 months ago
Individual audio channels with single display groupware: effects on communication and task strategy
We introduce a system that allows four users to each receive sound from a private audio channel while using a shared tabletop display. In order to explore how private audio channe...
Meredith Ringel Morris, Dan Morris, Terry Winograd