Sciweavers

1265 search results - page 68 / 253
» Computer poker: A review
Sort
View
ICFP
2000
ACM
15 years 2 months ago
The duality of computation
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...
Pierre-Louis Curien, Hugo Herbelin
ICRA
1993
IEEE
118views Robotics» more  ICRA 1993»
15 years 2 months ago
Mechanical Computation for Passive Force Control
Force control implemented by a passive mechanical device (perhaps a wrist) has inherent advantages over active implementations. A passive mechanical device can regain some of the ...
Ambarish Goswami, Michael A. Peshkin
CBMS
2001
IEEE
15 years 1 months ago
Computer Assisted Retrieval of Biomedical Image Features from Spine X-Rays: Progress and Prospects
Image indexing for biomedical content is a prohibitively expensive task if done manually. This leads to the demand for effective automated or computer assisted indexing methods. W...
L. Rodney Long, George R. Thoma
AAAI
1997
14 years 11 months ago
The Historical Development of Computer Chess and its Impact on Artificial Intelligence
In this paper we review the historical developmentof computerchess and discuss its impactonthe conceptof intelligence. Withthe adventof electronic computersafter the Second WorldW...
David Heath, Derek Allum
JCP
2006
102views more  JCP 2006»
14 years 9 months ago
General Methodology for Analysis and Modeling of Trust Relationships in Distributed Computing
In this paper, we discuss a general methodology for analysis and modeling of trust relationships in distributed computing. We discuss the classification of trust relationships, cat...
Weiliang Zhao, Vijay Varadharajan, George Bryan