Sciweavers

    1987 search results - page 369 / 398
    » Directional filtering transform
    Sort
    View
    ASE
    2005
    137views more  ASE 2005»
    Rewriting-Based Techniques for Runtime Verification
    13 years 8 months ago
    Rewriting-Based Techniques for Runtime Verification
    Download  www.havelund.com
    Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
    Grigore Rosu, Klaus Havelund
    claim paper
    Read More »
    TCSV
    2008
    130views more  TCSV 2008»
    Fast H.264/MPEG-4 AVC Transcoding Using Power-Spectrum Based Rate-Distortion Optimization
    13 years 8 months ago
    Fast H.264/MPEG-4 AVC Transcoding Using Power-Spectrum Based Rate-Distortion Optimization
    Download  research.microsoft.com
    Since variable block-size motion compensation (MC) and rate-distortion optimization (RDO) techniques are adopted in H.264/MPEG-4 AVC, modes and motion vectors (MVs) in input stream...
    Huifeng Shen, Xiaoyan Sun, Feng Wu
    claim paper
    Read More »
    BMCBI
    2005
    169views more  BMCBI 2005»
    Genetic interaction motif finding by expectation maximization - a novel statistical model for inferring gene modules from synthe
    13 years 8 months ago
    Genetic interaction motif finding by expectation maximization - a novel statistical model for inferring gene modules from synthe
    Download  www.biomedcentral.com
    Background: Synthetic lethality experiments identify pairs of genes with complementary function. More direct functional associations (for example greater probability of membership...
    Yan Qi 0003, Ping Ye, Joel S. Bader
    claim paper
    Read More »
    CGF
    2004
    133views more  CGF 2004»
    SMARTPAPER: An Interactive and User Friendly Sketching System
    13 years 8 months ago
    SMARTPAPER: An Interactive and User Friendly Sketching System
    Download  www.dtc.umn.edu
    This paper describes an interactive sketching system for 3D design/modeling that diverts from the conventional menu and button interfaces of CAD tools. The system, dubbed SMARTPAP...
    Amit Shesh, Baoquan Chen
    claim paper
    Read More »
    IJCGA
    1998
    74views more  IJCGA 1998»
    Polyhedral Assembly Partitioning Using Maximally Covered Cells in Arrangements of Convex Polytopes
    13 years 8 months ago
    Polyhedral Assembly Partitioning Using Maximally Covered Cells in Arrangements of Convex Polytopes
    Download  acg.cs.tau.ac.il
    We study the following problem: Given a collection A of polyhedral parts in 3D, determine whether there exists a subset S of the parts that can be moved as a rigid body by in nite...
    Leonidas J. Guibas, Dan Halperin, Hirohisa Hirukaw...
    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.