Sciweavers

    1076 search results - page 4 / 216
    » Operations on proofs and labels
    Sort
    View
    ESOP
    2005
    Springer
    204views Programming Languages» more  ESOP 2005»
    Towards a Type System for Analyzing JavaScript Programs
    13 years 10 months ago
    Towards a Type System for Analyzing JavaScript Programs
    Download  pho.ucsd.edu
    JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
    Peter Thiemann
    claim paper
    Read More »
    COMBINATORICS
    2000
    101views more  COMBINATORICS 2000»
    Random Sampling of Labeled Tournaments
    13 years 5 months ago
    Random Sampling of Labeled Tournaments
    Download  www.combinatorics.org
    This note extends a recent result of Kannan, Tetali and Vempala to completely solve, via a simple proof, the problem of random generation of a labeled tournament with a given scor...
    Lisa McShine
    claim paper
    Read More »
    ICPR
    2000
    IEEE
    127views computer vision» more  ICPR 2000»
    Acceleration of Thresholding and Labeling Operations through Geometric Processing of Gray-Level Images
    14 years 6 months ago
    Acceleration of Thresholding and Labeling Operations through Geometric Processing of Gray-Level Images
    Download  deim.urv.cat
    This paper explores the utilization of adaptive triangular meshes representing gray-level images to accelerate basic image processing operations. In particular, two algorithms for...
    Miguel Angel García, Boris Xavier Vintimill...
    claim paper
    Read More »
    SOSP
    2005
    ACM
    137views Operating System» more  SOSP 2005»
    Labels and event processes in the Asbestos operating system
    14 years 2 months ago
    Labels and event processes in the Asbestos operating system
    Download  www.scs.stanford.edu
    ormation flow. A new event process abstraction defines lightweight, isolated contexts within a single process, allowing one process to act on behalf of multiple users while preve...
    Petros Efstathopoulos, Maxwell N. Krohn, Steve Van...
    claim paper
    Read More »
    SAC
    2004
    ACM
    88views Applied Computing» more  SAC 2004»
    Exploiting labels in Structural Operational Semantics
    13 years 10 months ago
    Exploiting labels in Structural Operational Semantics
    Download  www.ecs.fullerton.edu
    Peter D. Mosses
    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.