Sciweavers

    5451 search results - page 1078 / 1091
    » On very high degrees
    Sort
    View
    DLOG
    2009
    109views Automated Reasoning» more  DLOG 2009»
    Explaining by Example: Model Exploration for Ontology Comprehension
    13 years 6 months ago
    Explaining by Example: Model Exploration for Ontology Comprehension
    Download  www.tatome.de
    Abstract. In this paper, we describe an approach for ontology comprehension support called model exploration in which models for ontologies are generated and presented interactivel...
    Johannes Bauer, Ulrike Sattler, Bijan Parsia
    claim paper
    Read More »
    DLT
    2009
    162views Theoretical Computer Science» more  DLT 2009»
    Branching-Time Temporal Logics with Minimal Model Quantifiers
    13 years 6 months ago
    Branching-Time Temporal Logics with Minimal Model Quantifiers
    Download  people.na.infn.it
    Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
    Fabio Mogavero, Aniello Murano
    claim paper
    Read More »
    EUSFLAT
    2009
    133views Fuzzy Logic» more  EUSFLAT 2009»
    On the Information Provided by Uncertainty Measures in the Classification of Remote Sensing Images
    13 years 6 months ago
    On the Information Provided by Uncertainty Measures in the Classification of Remote Sensing Images
    Download  www.igeo.pt
    This paper investigates the potential information provided to the user by the uncertainty measures applied to the possibility distributions associated with the spatial units of an ...
    Luisa M. S. Gonçalves, Cidália C. Fo...
    claim paper
    Read More »
    EUSFLAT
    2009
    163views Fuzzy Logic» more  EUSFLAT 2009»
    A Fuzzy Set Approach to Ecological Knowledge Discovery
    13 years 6 months ago
    A Fuzzy Set Approach to Ecological Knowledge Discovery
    Download  www.eusflat.org
    Besides the problem of searching for effective methods for extracting knowledge from large databases (KDD) there are some additional problems with handling ecological data, namely ...
    Arkadiusz Salski
    claim paper
    Read More »
    ICDM
    2009
    IEEE
    151views Data Mining» more  ICDM 2009»
    TagLearner: A P2P Classifier Learning System from Collaboratively Tagged Text Documents
    13 years 6 months ago
    TagLearner: A P2P Classifier Learning System from Collaboratively Tagged Text Documents
    Download  aurora.gmu.edu
    The amount of text data on the Internet is growing at a very fast rate. Online text repositories for news agencies, digital libraries and other organizations currently store gigaan...
    Haimonti Dutta, Xianshu Zhu, Tushar Mahule, Hillol...
    claim paper
    Read More »
    « Prev « First page 1078 / 1091 Last » Next »
    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.