Sciweavers

    1746 search results - page 67 / 350
    » A linear implementation of PACMAN
    Sort
    View
    IS
    2006
    135views Artificial Intelligence» more  IS 2006»
    Composition of Semantic Web services using Linear Logic theorem proving
    13 years 9 months ago
    Composition of Semantic Web services using Linear Logic theorem proving
    Download  www.idi.ntnu.no
    This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
    Jinghai Rao, Peep Küngas, Mihhail Matskin
    claim paper
    Read More »
    DAM
    2007
    91views more  DAM 2007»
    Integer linear programming approaches for non-unique probe selection
    13 years 9 months ago
    Integer linear programming approaches for non-unique probe selection
    Download  algorithmics.molgen.mpg.de
    In addition to their prevalent use for analyzing gene expression, DNA microarrays are an efficient tool for biological, medical, and industrial applications because of their abil...
    Gunnar W. Klau, Sven Rahmann, Alexander Schliep, M...
    claim paper
    Read More »
    JVCA
    2007
    128views more  JVCA 2007»
    Impulse-based dynamic simulation in linear time
    13 years 9 months ago
    Impulse-based dynamic simulation in linear time
    Download  i31www.ira.uka.de
    This paper describes an impulse-based dynamic simulation method for articulated bodies which has a linear time complexity. Existing linear-time methods are either based on a reduc...
    Jan Bender
    claim paper
    Read More »
    TMM
    2002
    81views more  TMM 2002»
    Staggered push - a linearly scalable architecture for push-based parallel video servers
    13 years 8 months ago
    Staggered push - a linearly scalable architecture for push-based parallel video servers
    Download  www.mcl.ie.cuhk.edu.hk
    With the rapid performance improvements in low-cost PCs, it becomes increasingly practical and cost-effective to implement large-scale video-on-demand (VoD) systems around parallel...
    Jack Y. B. Lee
    claim paper
    Read More »
    TOG
    2002
    116views more  TOG 2002»
    Linear combination of transformations
    13 years 8 months ago
    Linear combination of transformations
    Download  mrl.snu.ac.kr
    Geometric transformations are most commonly represented as square matrices in computer graphics. Following simple geometric arguments we derive a natural and geometrically meaning...
    Marc Alexa
    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.