Sciweavers

    2685 search results - page 25 / 537
    » A Formal Semantics for SPKI
    Sort
    View
    120
    Voted
    MLDM
    2009
    Springer
    135views Machine Learning» more  MLDM 2009»
    Tree Kernel and Feature Vector Methods for Formal Semantic Requests Classification
    16 years 2 days ago
    Tree Kernel and Feature Vector Methods for Formal Semantic Requests Classification
    Download  www.limsi.fr
    François Bouchet, Jean-Paul Sansonnet
    claim paper
    Read More »
    AIED
    2007
    Springer
    73views Artificial Intelligence» more  AIED 2007»
    Combining Bayesian Networks and Formal Reasoning for Semantic Classification of Student Utterances
    15 years 11 months ago
    Combining Bayesian Networks and Formal Reasoning for Semantic Classification of Student Utterances
    Download  www.cs.cmu.edu
    Maxim Makatchev, Kurt VanLehn
    claim paper
    Read More »
    125
    Voted
    ICAIL
    2005
    ACM
    96views Artificial Intelligence» more  ICAIL 2005»
    A legal drafting environment based on formal and semantic XML standards
    15 years 11 months ago
    A legal drafting environment based on formal and semantic XML standards
    Download  www.xmleges.org
    Carlo Biagioli, Enrico Francesconi, Pier-Luigi Spi...
    claim paper
    Read More »
    104
    Voted
    AMAST
    2004
    Springer
    80views Software Engineering» more  AMAST 2004»
    Formalizing and Proving Semantic Relations between Specifications by Reflection
    15 years 11 months ago
    Formalizing and Proving Semantic Relations between Specifications by Reflection
    Download  maude.sip.ucm.es
    Manuel Clavel, Narciso Martí-Oliet, Miguel ...
    claim paper
    Read More »
    DATE
    2003
    IEEE
    77views Hardware» more  DATE 2003»
    Formal Semantics of Synchronous SystemC
    15 years 10 months ago
    Formal Semantics of Synchronous SystemC
    Download  www.date-conference.com
    Ashraf Salem
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.