Sciweavers

7495 search results - page 1239 / 1499
» Intelligent Document Processing
Sort
View
ACL
2004
15 years 8 months ago
Developing a Flexible Spoken Dialog System Using Simulation
In this paper, we describe a new methodology to develop mixed-initiative spoken dialog systems, which is based on the extensive use of simulations to accelerate the development pr...
Grace Chung
IJCAI
2001
15 years 8 months ago
Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas
A technique is proposed for computing the weakest sufficient (wsc) and strongest necessary (snc) conditions for formulas in an expressive fragment of first-order logic using quant...
Patrick Doherty, Witold Lukaszewicz, Andrzej Szala...
IJCAI
2001
15 years 8 months ago
Reasoning about Categories in Conceptual Spaces
Understanding the process of categorization is a primary research goal in artificial intelligence. The conceptual space framework provides a flexible approach to modeling context-...
Peter Gärdenfors, Mary-Anne Williams
LEGE
2003
174views Education» more  LEGE 2003»
15 years 8 months ago
An e-Learning platform for SME Manager Upgrade and its Evolution Toward a Distributed Training Environment
The purpose of this paper is to describe the work in progress related to the customisation, the trial and the evaluation of an innovative e-learning platform for manager upgrade i...
Nicola Capuano, Matteo Gaeta, Laura Pappacena
IJCAI
1997
15 years 8 months ago
High Performance ATP Systems by Combining Several AI Methods
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...
Jörg Denzinger, Marc Fuchs, Matthias Fuchs
« Prev « First page 1239 / 1499 Last » Next »