Sciweavers

    31387 search results - page 177 / 6278
    » Abstracting abstract machines
    Sort
    View
    ROBOCUP
    2007
    Springer
    112views Robotics» more  ROBOCUP 2007»
    HMDP: A New Protocol for Motion Pattern Generation Towards Behavior Abstraction
    16 years 19 days ago
    HMDP: A New Protocol for Motion Pattern Generation Towards Behavior Abstraction
    Download  www.er.ams.eng.osaka-u.ac.jp
    Norbert Michael Mayer, Joschka Boedecker, Kazuhiro...
    claim paper
    Read More »
    RR
    2007
    Springer
    111views Automated Reasoning» more  RR 2007»
    Bridging Concrete and Abstract Syntax of Web Rule Languages
    16 years 19 days ago
    Bridging Concrete and Abstract Syntax of Web Rule Languages
    Download  rewerse.net
    Milan Milanovic, Dragan Gasevic, Adrian Giurca, Ge...
    claim paper
    Read More »
    RV
    2007
    Springer
    76views Hardware» more  RV 2007»
    Translation Validation of System Abstractions
    16 years 19 days ago
    Translation Validation of System Abstractions
    Download  rtg.cis.upenn.edu
    Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffte...
    claim paper
    Read More »
    SARA
    2007
    Springer
    79views Artificial Intelligence» more  SARA 2007»
    Using Infeasibility to Improve Abstraction-Based Heuristics
    16 years 19 days ago
    Using Infeasibility to Improve Abstraction-Based Heuristics
    Download  webdocs.cs.ualberta.ca
    Fan Yang, Joseph C. Culberson, Robert Holte
    claim paper
    Read More »
    SARA
    2007
    Springer
    75views Artificial Intelligence» more  SARA 2007»
    Using Analogy Discovery to Create Abstractions
    16 years 19 days ago
    Using Analogy Discovery to Create Abstractions
    Download  www.coral-lab.org
    Marc Pickett
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.