Sciweavers

    3179 search results - page 25 / 636
    » Applications of PCF Theory
    Sort
    View
    115
    Voted
    DAGSTUHL
    2007
    120views Software Engineering» more  DAGSTUHL 2007»
    Local Theory Extensions, Hierarchical Reasoning and Applications to Verification
    15 years 5 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
    15 years 5 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
    15 years 4 months ago
    Incremental Interpretation: Applications, Theory, And Relationship To Dynamic Semantics
    Download  acl.ldc.upenn.edu
    David Milward, Robin Cooper
    claim paper
    Read More »
    130
    Voted
    AROBOTS
    2010
    152views more  AROBOTS 2010»
    Attractor dynamics approach to formation control: theory and application
    15 years 3 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
    15 years 3 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
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.