Sciweavers

    783 search results - page 18 / 157
    » Bridging the Gaps
    Sort
    View
    102
    Voted
    LPNMR
    2009
    Springer
    155views Automated Reasoning» more  LPNMR 2009»
    Bridging the Gap between High-Level Reasoning and Low-Level Control
    15 years 5 months ago
    Bridging the Gap between High-Level Reasoning and Low-Level Control
    Download  193.255.135.175
    We present a formal framework where the action description language C+ is used to provide multiple robots with high-level reasoning in the style of cognitive robotics. We show the ...
    Ozan Caldiran, Kadir Haspalamutgil, Abdullah Ok, C...
    claim paper
    Read More »
    79
    Voted
    SUM
    2009
    Springer
    105views Information Technology» more  SUM 2009»
    Bridging the Gap between Abstract Argumentation Systems and Logic
    15 years 5 months ago
    Bridging the Gap between Abstract Argumentation Systems and Logic
    Download  www.irit.fr
    Leila Amgoud, Philippe Besnard
    claim paper
    Read More »
    84
    Voted
    FM
    2001
    Springer
    84views Formal Methods» more  FM 2001»
    Information Flow Control and Applications - Bridging a Gap
    15 years 5 months ago
    Information Flow Control and Applications - Bridging a Gap
    Download  www.mais.informatik.tu-darmstadt.de
    Heiko Mantel
    claim paper
    Read More »
    LCPC
    2001
    Springer
    122views System Software» more  LCPC 2001»
    Bridging the Gap between Compilation and Synthesis in the DEFACTO System
    15 years 5 months ago
    Bridging the Gap between Compilation and Synthesis in the DEFACTO System
    Download  www.isi.edu
    Abstract. The DEFACTO project - a Design Environment For Adaptive Computing TechnOlogy - is a system that maps computations, expressed in high-level languages such as C, directly o...
    Pedro C. Diniz, Mary W. Hall, Joonseok Park, Byoun...
    claim paper
    Read More »
    ACMDIS
    2000
    ACM
    90views Human Computer Interaction» more  ACMDIS 2000»
    Video Artifacts for Design: Bridging the Gap Between Abstraction and Detail
    15 years 5 months ago
    Video Artifacts for Design: Bridging the Gap Between Abstraction and Detail
    Download  www-ihm.lri.fr
    Wendy E. Mackay, Anne V. Ratzer, Paul Janecek
    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-2026, USA.