3690 search results - page 100 / 738 » Computation with classical sequents |
109
click to vote
CIG
2005
IEEE
14 years 12 months ago
2005
IEEE
Abstract- Monte Carlo simulations have been successfully used in classic turn–based games such as backgammon, bridge, poker, and Scrabble. In this paper, we apply the ideas to th...
SIAMAM
2008
14 years 9 months ago
2008
We describe a new class of surface flows, diffeomorphic surface flows, induced by restricting diffeomorphic flows of the ambient Euclidean space to a surface. Different from classi...
GC
2002
Springer
14 years 9 months ago
2002
Springer
One of the classical problems concerning the peg solitaire game is the feasibility issue. Tools used to show the infeasibility of various peg games include valid inequalities, know...
ACL
2010
14 years 8 months ago
2010
Classical Information Extraction (IE) systems fill slots in domain-specific frames. This paper reports on SEQ, a novel open IE system that leverages a domainindependent frame to e...
GRAPHICSINTERFACE
2009
14 years 7 months ago
2009
Fifteen participants completed a study comparing video game controllers for point-select tasks. We used a Fitts' law task, as per ISO 9241-9, using the Nintendo Wii Remote fo...