27 search results - page 2 / 6 » ki 2001 |
KI
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem pr...
KI
2001
Springer
13 years 9 months ago
2001
Springer
This paper describes the DiKe model-based diagnosis framework, which incorporates multiple diagnosis engines, multiple user-level system description languages, a theorem prover, an...
ASIACRYPT
2001
Springer
13 years 8 months ago
2001
Springer
We implement various computations in the braid groups via practically efficient and theoretically optimized algorithms whose pseudo-codes are provided. The performance of an actual...
ICIP
2001
IEEE
14 years 6 months ago
2001
IEEE
This paper presents an edge-enhancing super-resolution algorithm using anisotropic diffusion technique. Because we solve the super-resolution problem by incorporatinganisotropic d...
EUSFLAT
2001
13 years 5 months ago
2001
The Vague Query System (VQS) due to Kiing and Palkoska is an add-on to relational databases which is able to suggest alternative query results in case that an exact query fails. T...