Sciweavers

    16091 search results - page 184 / 3219
    » Solving
    Sort
    View
    120
    Voted
    AAAI
    2007
    91views Intelligent Agents» more  AAAI 2007»
    Solving a Stochastic Queueing Design and Control Problem with Constraint Programming
    15 years 6 months ago
    Solving a Stochastic Queueing Design and Control Problem with Constraint Programming
    Download  tidel.mie.utoronto.ca
    A facility with front room and back room operations has the option of hiring specialized or, more expensive, cross-trained workers. Assuming stochastic customer arrival and servic...
    Daria Terekhov, J. Christopher Beck, Kenneth N. Br...
    claim paper
    Read More »
    AAAI
    2008
    112views Intelligent Agents» more  AAAI 2008»
    Hybrid Constraint Tightening for Solving Hybrid Scheduling Problems
    15 years 6 months ago
    Hybrid Constraint Tightening for Solving Hybrid Scheduling Problems
    Download  www.aaai.org
    Hybrid Scheduling Problems (HSPs) contain both temporal and finite-domain variables, as well as constraints between them. A hybrid constraint over temporal and finite-domain varia...
    James C. Boerkoel Jr., Edmund H. Durfee
    claim paper
    Read More »
    AAAI
    2008
    91views Intelligent Agents» more  AAAI 2008»
    Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving
    15 years 6 months ago
    Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving
    Download  www.laria.u-picardie.fr
    Han Lin, Kaile Su, Chu Min Li
    claim paper
    Read More »
    72
    Voted
    AAAI
    2007
    66views Intelligent Agents» more  AAAI 2007»
    Using More Reasoning to Improve #SAT Solving
    15 years 6 months ago
    Using More Reasoning to Improve #SAT Solving
    Download  www.aaai.org
    Jessica Davies, Fahiem Bacchus
    claim paper
    Read More »
    FAST
    2008
    130views Operating System» more  FAST 2008»
    Portably Solving File TOCTTOU Races with Hardness Amplification
    15 years 6 months ago
    Portably Solving File TOCTTOU Races with Hardness Amplification
    Download  www.cs.berkeley.edu
    The file-system API of contemporary systems makes programs vulnerable to TOCTTOU (time of check to time of use) race conditions. Existing solutions either help users to detect the...
    Dan Tsafrir, Tomer Hertz, David Wagner, Dilma Da S...
    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.