Sciweavers

    6456 search results - page 38 / 1292
    » Constraint Solving on Terms
    Sort
    View
    KI
    2002
    Springer
    93views Artificial Intelligence» more  KI 2002»
    Spatial Inference - Learning vs. Constraint Solving
    15 years 5 months ago
    Spatial Inference - Learning vs. Constraint Solving
    Download  user.cs.tu-berlin.de
    Carsten Gips, Petra Hofstedt, Fritz Wysotzki
    claim paper
    Read More »
    PTS
    2010
    147views Hardware» more  PTS 2010»
    FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
    15 years 4 months ago
    FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
    Download  research.microsoft.com
    Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
    Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jon...
    claim paper
    Read More »
    CORR
    2010
    Springer
    53views Education» more  CORR 2010»
    Distributed Work Stealing for Constraint Solving
    15 years 3 months ago
    Distributed Work Stealing for Constraint Solving
    Download  inforum.org.pt
    Vasco Pedro, Salvador Abreu
    claim paper
    Read More »
    ICTAI
    2010
    IEEE
    233views Artificial Intelligence» more  ICTAI 2010»
    Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving
    15 years 3 months ago
    Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving
    Download  www.sci.brooklyn.cuny.edu
    The abstract goes here.
    Neng-Fa Zhou, Yoshitaka Kameya, Taisuke Sato
    claim paper
    Read More »
    IJIPM
    2010
    56views more  IJIPM 2010»
    Trustworthy Dynamic Scheduling based on Constraint Solving Scheme
    15 years 3 months ago
    Trustworthy Dynamic Scheduling based on Constraint Solving Scheme
    Download  www.humanpub.org
    Juyang Zhang, Yixiang Chen
    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.