Sciweavers

    6279 search results - page 1152 / 1256
    » Studies in Solution Sampling
    Sort
    View
    COMPGEOM
    2008
    ACM
    111views Discrete Geometry» more  COMPGEOM 2008»
    Maximum thick paths in static and dynamic environments
    14 years 11 months ago
    Maximum thick paths in static and dynamic environments
    Download  www.ams.sunysb.edu
    We consider the problem of finding a maximum number of disjoint paths for unit disks moving amidst static or dynamic obstacles. For the static case we give efficient exact algorit...
    Esther M. Arkin, Joseph S. B. Mitchell, Valentin P...
    claim paper
    Read More »
    DLS
    2008
    149views Languages» more  DLS 2008»
    Gradual typing with unification-based inference
    14 years 11 months ago
    Gradual typing with unification-based inference
    Download  ecee.colorado.edu
    Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...
    Jeremy G. Siek, Manish Vachharajani
    claim paper
    Read More »
    ATMOS
    2008
    103views Optimization» more  ATMOS 2008»
    IP-based Techniques for Delay Management with Priority Decisions
    14 years 11 months ago
    IP-based Techniques for Delay Management with Priority Decisions
    Download  drops.dagstuhl.de
    Delay management is an important issue in the daily operations of any railway company. The task is to update the planned timetable to a disposition timetable in such a way that the...
    Michael Schachtebeck, Anita Schöbel
    claim paper
    Read More »
    ALENEX
    2008
    180views Algorithms» more  ALENEX 2008»
    Geometric Algorithms for Optimal Airspace Design and Air Traffic Controller Workload Balancing
    14 years 11 months ago
    Geometric Algorithms for Optimal Airspace Design and Air Traffic Controller Workload Balancing
    Download  www.ams.sunysb.edu
    The National Airspace System (NAS) is designed to accommodate a large number of flights over North America. For purposes of workload limitations for air traffic controllers, the a...
    Amitabh Basu, Joseph S. B. Mitchell, Girishkumar S...
    claim paper
    Read More »
    SPLC
    2008
    115views Software Engineering» more  SPLC 2008»
    Filtered Cartesian Flattening: An Approximation Technique for Optimally Selecting Features while Adhering to Resource Constraint
    14 years 11 months ago
    Filtered Cartesian Flattening: An Approximation Technique for Optimally Selecting Features while Adhering to Resource Constraint
    Download  www.dre.vanderbilt.edu
    Software Product-lines (SPLs) use modular software components that can be reconfigured into different variants for different requirements sets. Feature modeling is a common method...
    Jules White, B. Doughtery, Douglas C. Schmidt
    claim paper
    Read More »
    « Prev « First page 1152 / 1256 Last » Next »
    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-2025, USA.