7991 search results - page 41 / 1599 » Using More Reasoning to Improve |
LOPSTR
1998
Springer
15 years 4 months ago
1998
Springer
Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure online termination of program analysis, specialisation and transformation t...
124
click to vote
AINA
2006
IEEE
15 years 6 months ago
2006
IEEE
— In today’s service market the provisioning of high quality services has become a critical issue for providers as the business success of their customers is often based on the...
105
click to vote
FLAIRS
2007
15 years 2 months ago
2007
This paper investigates the use of the case-based reasoning methodology applied to the game of Texas hold’em. The development of a CASe-based Poker playER (CASPER) is discussed....
100
click to vote
VL
1999
IEEE
15 years 4 months ago
1999
IEEE
Isaac is a rule-based language for mobile robots currently under development at NMSU. A successor to Altaira, it replaces Altaira's state-based rules and tile-based navigatio...
ICWE
2004
Springer
15 years 5 months ago
2004
Springer
The paper proposes some applications of description logic reasoning techniques in web–based education environments. Current solutions are web oriented but without applying ontolo...