Sciweavers

    2540 search results - page 9 / 508
    » Abstract Logics as Dialgebras
    Sort
    View
    ICLP
    1991
    Springer
    173views Automated Reasoning» more  ICLP 1991»
    Abstract Interpretation of Logic Programs
    15 years 5 months ago
    Abstract Interpretation of Logic Programs
    Download  www.clip.dia.fi.upm.es
    Interpretation of Logic Programs 1
    Patrick Cousot
    claim paper
    Read More »
    EUSFLAT
    2009
    138views Fuzzy Logic» more  EUSFLAT 2009»
    Choquet Integral Based Evaluations by Fuzzy Rules
    14 years 11 months ago
    Choquet Integral Based Evaluations by Fuzzy Rules
    Download  www.eusflat.org
    Abstract-- Choquet-integral-based evaluation models are proposed. The evaluation parameters
    Eiichiro Takahagi
    claim paper
    Read More »
    116
    Voted
    EUSFLAT
    2009
    124views Fuzzy Logic» more  EUSFLAT 2009»
    Recognition and Teaching of Robot Skills by Fuzzy Time-Modeling
    14 years 11 months ago
    Recognition and Teaching of Robot Skills by Fuzzy Time-Modeling
    Download  www.eusflat.org
    Abstract
    Rainer Palm, Bourhane Kadmiry, Boyko Iliev, Dimite...
    claim paper
    Read More »
    98
    Voted
    CAV
    2007
    Springer
    113views Hardware» more  CAV 2007»
    Three-Valued Abstraction for Continuous-Time Markov Chains
    15 years 8 months ago
    Three-Valued Abstraction for Continuous-Time Markov Chains
    Download  www4.in.tum.de
    lued Abstraction for Continuous-Time Markov Chains⋆ Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 RWTH Aachen University1 , TU Munich2 , University of...
    Joost-Pieter Katoen, Daniel Klink, Martin Leucker,...
    claim paper
    Read More »
    NDJFL
    2010
    100views Computer Networks» more  NDJFL 2010»
    Numerical Abstraction via the Frege Quantifier
    14 years 8 months ago
    Numerical Abstraction via the Frege Quantifier
    Download  philosophy.ucdavis.edu
    l Abstraction via the Frege Quantifier G. Aldo Antonelli Abstract This paper presents a formalization of first-order aritharacterizing the natural numbers as abstracta of the equin...
    Gian Aldo Antonelli
    claim paper
    Read More »
    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-2026, USA.