Sciweavers

    1492 search results - page 112 / 299
    » Automatic Software Model Checking Using CLP
    Sort
    View
    JAIR
    2008
    123views more  JAIR 2008»
    CTL Model Update for System Modifications
    14 years 10 months ago
    CTL Model Update for System Modifications
    Download  www.aaai.org
    Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
    Yan Zhang, Yulin Ding
    claim paper
    Read More »
    AAAI
    1998
    132views Intelligent Agents» more  AAAI 1998»
    Metacognition in Software Agents Using Classifier Systems
    14 years 11 months ago
    Metacognition in Software Agents Using Classifier Systems
    Download  www.aaai.org
    Software agents "living" and acting in a real world software environment, such as an operating system, a network, or a database system, can carry out many tasks for huma...
    Zhaohua Zhang, Stan Franklin, Dipankar Dasgupta
    claim paper
    Read More »
    ICONIP
    2008
    132views Information Technology» more  ICONIP 2008»
    Automatic Particle Detection and Counting by One-Class SVM from Microscope Image
    14 years 11 months ago
    Automatic Particle Detection and Counting by One-Class SVM from Microscope Image
    Download  www.htlab.ice.uec.ac.jp
    Asbestos-related illnesses become a nationwide problem in Japan. Now human inspectors check whether asbestos is contained in building material or not. To judge whether the specimen...
    Hinata Kuba, Kazuhiro Hotta, Haruhisa Takahashi
    claim paper
    Read More »
    IEEEARES
    2007
    IEEE
    103views Security Privacy» more  IEEEARES 2007»
    Models for automatic generation of safety-critical real-time systems
    15 years 4 months ago
    Models for automatic generation of safety-critical real-time systems
    Download  www6.in.tum.de
    Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...
    Christian Buckl, Matthias Regensburger, Alois Knol...
    claim paper
    Read More »
    RSP
    2003
    IEEE
    132views Control Systems» more  RSP 2003»
    Rapid Exploration of Pipelined Processors through Automatic Generation of Synthesizable RTL Models
    15 years 3 months ago
    Rapid Exploration of Pipelined Processors through Automatic Generation of Synthesizable RTL Models
    Download  www.cise.ufl.edu
    As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
    Prabhat Mishra, Arun Kejariwal, Nikil Dutt
    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.