7978 search results - page 1243 / 1596 » Combining shared-coin algorithms |
ATAL
2007
Springer
16 years 10 days ago
2007
Springer
We analyze a heads-up no-limit Texas Hold’em poker tournament with a fixed small blind of 300 chips, a fixed big blind of 600 chips and a total amount of 8000 chips on the tab...
147
click to vote
CAV
2007
Springer
16 years 10 days ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
148
click to vote
CEAS
2007
Springer
16 years 10 days ago
2007
Springer
Email is a key communication tool for collaborative workgroups. In this paper, we investigate how team leadership roles can be inferred from a collection of email messages exchang...
177
click to vote
CIKM
2007
Springer
16 years 10 days ago
2007
Springer
Searching answers to complex questions is a challenging IR task. In this paper, we examine the use of query templates with semantic slots to formulate slot-based queries. These qu...
161
click to vote
CIKM
2007
Springer
16 years 10 days ago
2007
Springer
This paper introduces the use of Wikipedia as a resource for automatic keyword extraction and word sense disambiguation, and shows how this online encyclopedia can be used to achi...