Sciweavers

    35 search results - page 5 / 7
    » InvGen: An Efficient Invariant Generator
    Sort
    View
    TROB
    2008
    134views more  TROB 2008»
    Improving the Performance of Sampling-Based Motion Planning With Symmetry-Based Gap Reduction
    13 years 9 months ago
    Improving the Performance of Sampling-Based Motion Planning With Symmetry-Based Gap Reduction
    Download  www.seas.upenn.edu
    Sampling-based nonholonomic and kinodynamic planning iteratively constructs solutions with sampled controls. A constructed trajectory is returned as an acceptable solution if its &...
    Peng Cheng, Emilio Frazzoli, Steven M. LaValle
    claim paper
    Read More »
    AMAI
    2004
    Springer
    139views Artificial Intelligence» more  AMAI 2004»
    Using Automatic Case Splits and Efficient CNF Translation to Guide a SAT-solver when Formally Verifying Out-Of-Order Processors
    14 years 3 months ago
    Using Automatic Case Splits and Efficient CNF Translation to Guide a SAT-solver when Formally Verifying Out-Of-Order Processors
    Download  rutcor.rutgers.edu
    The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
    Miroslav N. Velev
    claim paper
    Read More »
    SAC
    2006
    ACM
    111views Applied Computing» more  SAC 2006»
    Transforming OCL constraints: a context change approach
    13 years 9 months ago
    Transforming OCL constraints: a context change approach
    Download  jordicabot.com
    Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
    Jordi Cabot, Ernest Teniente
    claim paper
    Read More »
    VLSISP
    2008
    173views more  VLSISP 2008»
    Fast Bit Gather, Bit Scatter and Bit Permutation Instructions for Commodity Microprocessors
    13 years 9 months ago
    Fast Bit Gather, Bit Scatter and Bit Permutation Instructions for Commodity Microprocessors
    Download  palms.ee.princeton.edu
    Advanced bit manipulation operations are not efficiently supported by commodity word-oriented microprocessors. Programming tricks are typically devised to shorten the long sequence...
    Yedidya Hilewitz, Ruby B. Lee
    claim paper
    Read More »
    CVPR
    2005
    IEEE
    178views Computer Vision» more  CVPR 2005»
    Hierarchical Part-Based Visual Object Categorization
    14 years 11 months ago
    Hierarchical Part-Based Visual Object Categorization
    Download  lear.inrialpes.fr
    We propose a generative model that codes the geometry and appearance of generic visual object categories as a loose hierarchy of parts, with probabilistic spatial relations linkin...
    Guillaume Bouchard, Bill Triggs
    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.