Sciweavers

    3179 search results - page 25 / 636
    » Applications of PCF Theory
    Sort
    View
    DAGSTUHL
    2007
    120views Software Engineering» more  DAGSTUHL 2007»
    Local Theory Extensions, Hierarchical Reasoning and Applications to Verification
    13 years 10 months ago
    Local Theory Extensions, Hierarchical Reasoning and Applications to Verification
    Download  drops.dagstuhl.de
    Viorica Sofronie-Stokkermans, Carsten Ihlemann, Sw...
    claim paper
    Read More »
    NIPS
    2008
    143views Information Technology» more  NIPS 2008»
    One sketch for all: Theory and Application of Conditional Random Sampling
    13 years 10 months ago
    One sketch for all: Theory and Application of Conditional Random Sampling
    Download  www-stat.stanford.edu
    Conditional Random Sampling (CRS) was originally proposed for efficiently computing pairwise (l2, l1) distances, in static, large-scale, and sparse data. This study modifies the o...
    Ping Li, Kenneth Ward Church, Trevor Hastie
    claim paper
    Read More »
    COLING
    1994
    76views Computational Linguistics» more  COLING 1994»
    Incremental Interpretation: Applications, Theory, And Relationship To Dynamic Semantics
    13 years 10 months ago
    Incremental Interpretation: Applications, Theory, And Relationship To Dynamic Semantics
    Download  acl.ldc.upenn.edu
    David Milward, Robin Cooper
    claim paper
    Read More »
    AROBOTS
    2010
    152views more  AROBOTS 2010»
    Attractor dynamics approach to formation control: theory and application
    13 years 8 months ago
    Attractor dynamics approach to formation control: theory and application
    Download  www.neuroinformatik.ruhr-uni-bochum.de
    In this paper we show how non
    Sergio Monteiro, Estela Bicho
    claim paper
    Read More »
    CJ
    2008
    75views more  CJ 2008»
    The Bidimensionality Theory and Its Algorithmic Applications
    13 years 8 months ago
    The Bidimensionality Theory and Its Algorithmic Applications
    Download  erikdemaine.org
    Erik D. Demaine, MohammadTaghi Hajiaghayi
    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.