1029 search results - page 131 / 206 » An Architecture for Problem Solving with Diagrams |
ECIS
2000
13 years 10 months ago
2000
Abstract-- Knowledge management is becoming a fashion in many organizations. This entails the danger that large investments in knowledge externalization are made with little short-...
IJCAI
1997
13 years 10 months ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
AIPS
1996
13 years 10 months ago
1996
Planning for manufacturing workpiecesis a complex task that requires the interaction of a domain-specific reasoner and a generic planning mechanism.In this paper wepresent an arch...
DAGSTUHL
1994
13 years 10 months ago
1994
Abstract. Rampart is a toolkit of protocols to facilitate the development of high-integrity services, i.e., distributed services that retain their availability and correctness desp...
APIN
2010
13 years 9 months ago
2010
Artificial neural networks can be trained to perform excellently in many application areas. While they can learn from raw data to solve sophisticated recognition and analysis prob...