961 search results - page 69 / 193 » Automatic design synthesis with artificial intelligence tech... |
126
click to vote
VRML
2003
ACM
15 years 6 months ago
2003
ACM
Many Web3D sites do not offer sufficient assistance to (especially novice) users in navigating the virtual world, find objects/places of interests, and learn how to interact with ...
104
click to vote
IUI
2006
ACM
15 years 7 months ago
2006
ACM
Automated software customization is drawing increasing attention as a means to help users deal with the scope, complexity, potential intrusiveness, and ever-changing nature of mod...
101
click to vote
FLAIRS
1998
15 years 2 months ago
1998
Reinforcement learning (RL) problems constitute an important class of learning and control problems faced by artificial intelligence systems. In these problems, one is faced with ...
ANLP
1992
15 years 2 months ago
1992
The Intelligent Documentation Advisory System generates on-line documentation and help messages from a domain knowledge base, using natural-language (NL) generation techniques. Th...
ECAI
1994
Springer
15 years 5 months ago
1994
Springer
1 We develop a learning component for a theorem prover designed for verifying statements by mathematical induction. If the prover has found a proof, it is analyzed yielding a so-ca...