3808 search results - page 334 / 762 » Artificial Intelligence: A Modern Approach |
140
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Intergeo is a European project dedicated to the sharing of interactive geometry constructions. This project is setting up an annotation and search web platform which will offer and...
149
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Assumptions about the domains of partial functions are necessary in state-of-the-art proof assistants. On the other hand when mathematicians write about partial functions...
180
click to vote
AMI
2008
Springer
15 years 8 months ago
2008
Springer
Despite the wealth of information and communication technology in society today, there appears to be a lack of acceptable information services for the growing elderly population in...
200
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents an algorithm for the synthesis of bounded Petri nets from transition systems. A bounded Petri net is always provided in case it exists. Otherwise, the events ar...
172
click to vote
AUSAI
2008
Springer
15 years 8 months ago
2008
Springer
This paper investigates the use of the case-based reasoning methodology applied to the game of Texas hold'em poker. The development of a CASe-based Poker playER (CASPER) is de...