Sciweavers

    2478 search results - page 480 / 496
    » Quadtrees as an Abstract Domain
    Sort
    View
    FOIS
    2006
    124views Information Technology» more  FOIS 2006»
    Formalizing Ontology Alignment and its Operations with Category Theory
    13 years 9 months ago
    Formalizing Ontology Alignment and its Operations with Category Theory
    Download  www.dit.unitn.it
    An ontology alignment is the expression of relations between different ontologies. In order to view alignments independently from the language expressing ontologies and from the te...
    Antoine Zimmermann, Markus Krötzsch, Jé...
    claim paper
    Read More »
    AIPS
    2003
    179views Artificial Intelligence» more  AIPS 2003»
    A Multi-Agent System-driven AI Planning Approach to Biological Pathway Discovery
    13 years 9 months ago
    A Multi-Agent System-driven AI Planning Approach to Biological Pathway Discovery
    Download  www.aaai.org
    As genomic and proteomic data is collected from highthroughput methods on a daily basis, subcellular components are identified and their in vitro behavior is characterized. Howev...
    Salim Khan, William Gillis, Carl Schmidt, Keith De...
    claim paper
    Read More »
    DAGSTUHL
    2003
    170views Software Engineering» more  DAGSTUHL 2003»
    Components, Features, and Agents in the ABC
    13 years 9 months ago
    Components, Features, and Agents in the ABC
    Download  www.cs.bham.ac.uk
    Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
    Tiziana Margaria
    claim paper
    Read More »
    DLOG
    2003
    173views Automated Reasoning» more  DLOG 2003»
    Conceptual Modeling with Description Logics
    13 years 9 months ago
    Conceptual Modeling with Description Logics
    Download  teacode.com
    The purpose of the chapter is to help someone familiar with DLs to understand the issues involved in developing an ontology for some universe of discourse, which is to become a co...
    Alexander Borgida, Ronald J. Brachman
    claim paper
    Read More »
    OPODIS
    2004
    161views Distributed And Parallel Com...» more  OPODIS 2004»
    Embedded Systems - Challenges and Work Directions
    13 years 9 months ago
    Embedded Systems - Challenges and Work Directions
    Download  www-verimag.imag.fr
    Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
    Joseph Sifakis
    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-2024, USA.