1265 search results - page 75 / 253 » Computer poker: A review |
CIE
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Datatype-generic programs are programs that are parameterised by a datatype. Designing datatype-generic programs brings new challenges and new opportunities. We review th...
EXACT
2007
15 years 5 days ago
2007
In a military context, the process of planning operations involves the assessment of the situation, the identification of the most appropriate course of action, the description of...
CIE
2008
Springer
14 years 12 months ago
2008
Springer
The extraction mechanism of Coq allows one to transform Coq proofs and functions into functional programs. We illustrate the behavior of this tool by reviewing several variants of ...
INTERACT
2007
14 years 11 months ago
2007
Result of my literature review shows the important characteristics of three distinct modalities and the factors influencing interaction in a ubiquitous computing context. Research ...
CHI
2010
ACM
14 years 10 months ago
2010
ACM
DragonFly is an application designed for reviewing lecture recordings of mind map-structured presentations. Instead of using a timeline slider, the lecture recording is controlled...