artificial intelligence

15

click to vote

FLAIRS
2000

82views Artificial Intelligence» more FLAIRS 2000»

An Iterative Approach to Word Sense Disambiguation

14 years 1 months ago

Download people.lett.unitn.it

Rada Mihalcea, Dan I. Moldovan

claim paper

Read More »

28

click to vote

FLAIRS
2000

95views Artificial Intelligence» more FLAIRS 2000»

Supporting Intelligent Tutoring in CALL by Modeling the User's Grammar

14 years 1 months ago

Download www.eecis.udel.edu

This paper presents a model for representing the pro ciency of users in a CALL system by recording their performance on speci c grammatical features. The model will be used both t...

Lisa N. Michaud, Kathleen F. McCoy

claim paper

Read More »

16

click to vote

FLAIRS
2000

79views Artificial Intelligence» more FLAIRS 2000»

Learning to Transfer Knowledge between Reference Systems

14 years 1 months ago

Download www.aaai.org

Representationandinference of spatial knowledgeplay a fundamentalrole in spatial reasoning,whichitself is an important componentof manyapplications such as GeographicInformationSy...

Maria do Carmo Nicoletti, Jane Brennan

claim paper

Read More »

27

click to vote

FLAIRS
2000

87views Artificial Intelligence» more FLAIRS 2000»

An Algebraic Approach to Inductive Learning

14 years 1 months ago

Download www.cs.ccsu.edu

Zdravko Markov

claim paper

Read More »

27

click to vote

FLAIRS
2000

78views Artificial Intelligence» more FLAIRS 2000»

A Case Study in the Mechanical Verification of Fault Tolerance

14 years 1 months ago

Download www.mais.informatik.tu-darmstadt.de

To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...

Heiko Mantel, Felix C. Gärtner

claim paper

Read More »

41

click to vote

FLAIRS
2000

112views Artificial Intelligence» more FLAIRS 2000»

What is Wrong with this Equation? Error Detection and Feedback with Physics Equations

14 years 1 months ago

Download www.aaai.org

Oneof the keys to a goodIntelligent Tutoring System (ITS)is its ability to identify andlocalize the error a student's answerand then generate useful feedback. This paper desc...

Chun Wai Liew, Joel A. Shapiro, Donald E. Smith

claim paper

Read More »

43

click to vote

FLAIRS
2000

111views Artificial Intelligence» more FLAIRS 2000»

The Use of Formal Methods for Trusted Digital Signature Devices

14 years 1 months ago

Download www.aaai.org

This paper presents a formal security policy model for SmartCards with digital signature application. This kind of model is necessary for each evaluation according to Information ...

Bruno Langenstein, Roland Vogt, Markus Ullmann

claim paper

Read More »

28

click to vote

FLAIRS
2000

71views Artificial Intelligence» more FLAIRS 2000»

Towards Validation of Rule-Based Systems - The Loop is Closed

14 years 1 months ago

Download www.aaai.org

Rainer Knauf, Ilka Philippow, Avelino J. Gonzalez,...

claim paper

Read More »

40

click to vote

FLAIRS
2000

157views Artificial Intelligence» more FLAIRS 2000»

Graph-Based Hierarchical Conceptual Clustering

14 years 1 months ago

Download ailab.wsu.edu

Hierarchical conceptual clustering has been proven to be a useful data mining technique. Graph-based representation of structural information has been shown to be successful in kn...

Istvan Jonyer, Lawrence B. Holder, Diane J. Cook

claim paper

Read More »

27

click to vote

FLAIRS
2000

91views Artificial Intelligence» more FLAIRS 2000»

Generalizing Knowledge Representation Rules for Acquiring and Validating Uncertain Knowledge

14 years 1 months ago