Sciweavers

    6409 search results - page 1128 / 1282
    » A Computational Algorithm for Origami Design
    Sort
    View
    AIPS
    2004
    108views Artificial Intelligence» more  AIPS 2004»
    Guiding Planner Backjumping Using Verifier Traces
    14 years 11 months ago
    Guiding Planner Backjumping Using Verifier Traces
    Download  www.aaai.org
    In this paper, we show how a planner can use a modelchecking verifier to guide state space search. In our work on hard real-time, closed-loop planning, we use a modelchecker'...
    Robert P. Goldman, Michael J. S. Pelican, David J....
    claim paper
    Read More »
    DAGSTUHL
    2006
    136views Software Engineering» more  DAGSTUHL 2006»
    Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems
    14 years 11 months ago
    Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems
    Download  drops.dagstuhl.de
    In this paper we study a class of dynamical systems defined by Pfaffian maps. It is a sub-class of o-minimal dynamical systems which capture rich continuous dynamics and yet can be...
    Margarita V. Korovina, Nicolai Vorobjov
    claim paper
    Read More »
    ERSA
    2006
    197views Hardware» more  ERSA 2006»
    A High Speed, Run Time Reconfigurable Image Acquisition processor for a Missile Approach Warning System
    14 years 11 months ago
    A High Speed, Run Time Reconfigurable Image Acquisition processor for a Missile Approach Warning System
    Download  ww1.ucmss.com
    High frame rate video capture and image processing is an important capability for applications in defense and homeland security where incoming missiles must be detected in very sh...
    Vinay Sriram, David Kearney
    claim paper
    Read More »
    GAMEON
    2003
    119views Modeling And Simulation» more  GAMEON 2003»
    Automatic Acquisition of Actions for Animated Agents
    14 years 11 months ago
    Automatic Acquisition of Actions for Animated Agents
    Download  dircweb.king.ac.uk
    The generation of animated human figures especially in crowd scenes has many applications in such domains as the special effects industry, computer games or for the simulation of ...
    Adam Szarowicz, Marek Mittmann, Paolo Remagnino, J...
    claim paper
    Read More »
    ISCAPDCS
    2003
    145views Distributed And Parallel Com...» more  ISCAPDCS 2003»
    Optimal Graph Transformation Assuming Alternate Scheduling Models
    14 years 11 months ago
    Optimal Graph Transformation Assuming Alternate Scheduling Models
    Download  www.cs.uakron.edu
    Many computation-intensive iterative or recursive applications commonly found in digital signal processing and image processing applications can be represented by data-flow graph...
    Timothy W. O'Neil
    claim paper
    Read More »
    « Prev « First page 1128 / 1282 Last » Next »
    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.