Sciweavers

    396 search results - page 22 / 80
    » Factor Automata of Automata and Applications
    Sort
    View
    IJCAI
    2003
    105views Artificial Intelligence» more  IJCAI 2003»
    Automated Verification: Graphs, Logic, and Automata
    13 years 10 months ago
    Automated Verification: Graphs, Logic, and Automata
    Download  dli.iiit.ac.in
    Automated verification is one of the most success­ ful applications of automated reasoning in com­ puter science. In automated verification one uses algorithmic techniques to es...
    Moshe Y. Vardi
    claim paper
    Read More »
    TOSEM
    2010
    168views more  TOSEM 2010»
    Analysis and applications of timed service protocols
    13 years 3 months ago
    Analysis and applications of timed service protocols
    Download  hal.archives-ouvertes.fr
    Web services are increasingly gaining acceptance as a framework for facilitating application-to-application interactions within and across enterprises. It is commonly accepted tha...
    Julien Ponge, Boualem Benatallah, Fabio Casati, Fa...
    claim paper
    Read More »
    LICS
    1996
    IEEE
    106views Automated Reasoning» more  LICS 1996»
    The Theory of Hybrid Automata
    14 years 26 days ago
    The Theory of Hybrid Automata
    Download  www.eecs.berkeley.edu
    Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
    Thomas A. Henzinger
    claim paper
    Read More »
    IC3
    2010
    282views Applied Computing» more  IC3 2010»
    LACAIS: Learning Automata Based Cooperative Artificial Immune System for Function Optimization
    13 years 8 months ago
    LACAIS: Learning Automata Based Cooperative Artificial Immune System for Function Optimization
    Download  ceit.aut.ac.ir
    Artificial Immune System (AIS) is taken into account from evolutionary algorithms that have been inspired from defensive mechanism of complex natural immune system. For using this ...
    Alireza Rezvanian, Mohammad Reza Meybodi
    claim paper
    Read More »
    ALIFE
    1999
    94views Modeling And Simulation» more  ALIFE 1999»
    A New Structurally Dissolvable Self-Reproducing Loop Evolving in a Simple Cellular Automata Space
    13 years 8 months ago
    A New Structurally Dissolvable Self-Reproducing Loop Evolving in a Simple Cellular Automata Space
    Download  mitpress.mit.edu
    tion, structural dissolutionAbstract We constructed a simple evolutionary system, "evoloop," on a deterministic nine-state five-neighbor cellular automata (CA) space by i...
    Hiroki Sayama
    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.