Sciweavers

    2694 search results - page 476 / 539
    » A Description Logic of Change
    Sort
    View
    IICAI
    2007
    325views Artificial Intelligence» more  IICAI 2007»
    Automated Test Generation from Models Based on Functional Software Specifications
    14 years 11 months ago
    Automated Test Generation from Models Based on Functional Software Specifications
    Download  mqm.in.tum.de
    The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
    Michael Esser, Peter Struss
    claim paper
    Read More »
    IKE
    2007
    172views Information Technology» more  IKE 2007»
    A Set-Theoretic Data Model For Evolving Database Environments
    14 years 11 months ago
    A Set-Theoretic Data Model For Evolving Database Environments
    Download  www.ubicc.org
    The paper presents an integrated set-theoretic data model that offers a framework for defining a unified schema for any database environment. We utilise the concepts ”entity...
    Emmanuel J. Yannakoudakis, Panagiotis Andrikopoulo...
    claim paper
    Read More »
    IWEC
    2007
    60views Applied Computing» more  IWEC 2007»
    Cultural Computing and the Self Concept: Towards Unconscious Metamorphosis
    14 years 11 months ago
    Cultural Computing and the Self Concept: Towards Unconscious Metamorphosis
    Download  www.idemployee.id.tue.nl
    Abstract. We are exploring an application for a novel direction in humancomputer interaction named ‘cultural computing’, which aims to provide a new medium for cultural transla...
    Tijn Kooijmans, Matthias Rauterberg
    claim paper
    Read More »
    PSSS
    2003
    120views Knowledge Management» more  PSSS 2003»
    Inferencing and Truth Maintenance in RDF Schema
    14 years 11 months ago
    Inferencing and Truth Maintenance in RDF Schema
    Download  www.openrdf.org
    Contrary to earlier reports in literature, exhaustive forward inferencing is a feasible approach for practical RDF. It is sufficiently fast and the increase in necessary storage s...
    Jeen Broekstra, Arjohn Kampman
    claim paper
    Read More »
    USENIX
    2000
    110views Operating System» more  USENIX 2000»
    Location-Aware Scheduling with Minimal Infrastructure
    14 years 11 months ago
    Location-Aware Scheduling with Minimal Infrastructure
    Download  www.isi.edu
    Mobile computers often benefit from software which adapts to their location. For example, a computer might be backed up when at the office, or the default printer might always be ...
    John S. Heidemann, Dhaval Shah
    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-2025, USA.