Sciweavers

    FLAIRS
    2000
    82views Artificial Intelligence» more  FLAIRS 2000»
    An Iterative Approach to Word Sense Disambiguation
    13 years 9 months ago
    An Iterative Approach to Word Sense Disambiguation
    Download  people.lett.unitn.it
    Rada Mihalcea, Dan I. Moldovan
    claim paper
    Read More »
    FLAIRS
    2000
    95views Artificial Intelligence» more  FLAIRS 2000»
    Supporting Intelligent Tutoring in CALL by Modeling the User's Grammar
    13 years 9 months ago
    Supporting Intelligent Tutoring in CALL by Modeling the User's Grammar
    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 »
    FLAIRS
    2000
    79views Artificial Intelligence» more  FLAIRS 2000»
    Learning to Transfer Knowledge between Reference Systems
    13 years 9 months ago
    Learning to Transfer Knowledge between Reference Systems
    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 »
    FLAIRS
    2000
    87views Artificial Intelligence» more  FLAIRS 2000»
    An Algebraic Approach to Inductive Learning
    13 years 9 months ago
    An Algebraic Approach to Inductive Learning
    Download  www.cs.ccsu.edu
    Zdravko Markov
    claim paper
    Read More »
    FLAIRS
    2000
    78views Artificial Intelligence» more  FLAIRS 2000»
    A Case Study in the Mechanical Verification of Fault Tolerance
    13 years 9 months ago
    A Case Study in the Mechanical Verification of Fault Tolerance
    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 »
    FLAIRS
    2000
    112views Artificial Intelligence» more  FLAIRS 2000»
    What is Wrong with this Equation? Error Detection and Feedback with Physics Equations
    13 years 9 months ago
    What is Wrong with this Equation? Error Detection and Feedback with Physics Equations
    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 »
    FLAIRS
    2000
    111views Artificial Intelligence» more  FLAIRS 2000»
    The Use of Formal Methods for Trusted Digital Signature Devices
    13 years 9 months ago
    The Use of Formal Methods for Trusted Digital Signature Devices
    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 »
    FLAIRS
    2000
    71views Artificial Intelligence» more  FLAIRS 2000»
    Towards Validation of Rule-Based Systems - The Loop is Closed
    13 years 9 months ago
    Towards Validation of Rule-Based Systems - The Loop is Closed
    Download  www.aaai.org
    Rainer Knauf, Ilka Philippow, Avelino J. Gonzalez,...
    claim paper
    Read More »
    FLAIRS
    2000
    157views Artificial Intelligence» more  FLAIRS 2000»
    Graph-Based Hierarchical Conceptual Clustering
    13 years 9 months ago
    Graph-Based Hierarchical Conceptual Clustering
    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 »
    FLAIRS
    2000
    91views Artificial Intelligence» more  FLAIRS 2000»
    Generalizing Knowledge Representation Rules for Acquiring and Validating Uncertain Knowledge
    13 years 9 months ago
    Generalizing Knowledge Representation Rules for Acquiring and Validating Uncertain Knowledge
    Download  www.aaai.org
    Gregory Johnson Jr., Eugene Santos Jr.
    claim paper
    Read More »
    « first‹ previous…292293294295296297298299300…next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.