3787 search results - page 657 / 758 » The Use of Agents Techniques on Intelligent Tutoring Systems |
JCDL
2004
ACM
15 years 7 months ago
2004
ACM
We have developed MetaExtract, a system to automatically assign Dublin Core + GEM metadata using extraction techniques from our natural language processing research. MetaExtract i...
CP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalizat...
IJCNN
2008
IEEE
15 years 8 months ago
2008
IEEE
— In this paper, we propose a new type of neural adaptive control via dynamic neural networks. For a class of unknown nonlinear systems, a neural identifierFbased feedback linea...
102
click to vote
AAAI
2006
15 years 3 months ago
2006
Model counting is the classical problem of computing the number of solutions of a given propositional formula. It vastly generalizes the NP-complete problem of propositional satis...
102
click to vote
AAAI
1998
15 years 3 months ago
1998
We describe an architecture for exploring very large design spaces, for example, spaces that arise when design candidates are generated by combining components systematically from...