Sciweavers

    JAL
    2008
    74views more  JAL 2008»
    Solving satisfiability in the tile assembly model with a constant-size tileset
    13 years 11 months ago
    Solving satisfiability in the tile assembly model with a constant-size tileset
    Download  csse.usc.edu
    Biological systems are far more complex and robust than systems we can engineer today. One way to increase the complexity and robustness of our engineered systems is to study how ...
    Yuriy Brun
    claim paper
    Read More »
    JAL
    2008
    83views more  JAL 2008»
    Objective Bayesian probabilistic logic
    13 years 11 months ago
    Objective Bayesian probabilistic logic
    Download  www.kent.ac.uk
    This paper develops connections between objective Bayesian epistemology--which holds that the strengths of an agent's beliefs should be representable by probabilities, should...
    Jon Williamson
    claim paper
    Read More »
    JAL
    2008
    97views more  JAL 2008»
    Experimental studies of variable selection strategies based on constraint weights
    13 years 11 months ago
    Experimental studies of variable selection strategies based on constraint weights
    Download  pst.istc.cnr.it
    An important class of heuristics for constraint satisfaction problems works by sampling information during search in order to inform subsequent decisions. One of these strategies, ...
    Richard J. Wallace, Diarmuid Grimes
    claim paper
    Read More »
    JAL
    2008
    58views more  JAL 2008»
    Model checking with Boolean Satisfiability
    13 years 11 months ago
    Model checking with Boolean Satisfiability
    Download  www.cs.bris.ac.uk
    João Marques-Silva
    claim paper
    Read More »
    JAL
    2008
    89views more  JAL 2008»
    Experimenting with parallelism for the instantiation of ASP programs
    13 years 11 months ago
    Experimenting with parallelism for the instantiation of ASP programs
    Download  pst.istc.cnr.it
    Abstract. In the last few years, the microprocessors technologies have been definitely moving to multi-core architectures, in order to improve performances as well as reduce power ...
    Francesco Calimeri, Simona Perri, Francesco Ricca
    claim paper
    Read More »
    JAL
    2008
    139views more  JAL 2008»
    A test suite for the evaluation of mixed multi-unit combinatorial auctions
    13 years 11 months ago
    A test suite for the evaluation of mixed multi-unit combinatorial auctions
    Download  www.maia.ub.es
    Mixed Multi-Unit Combinatorial Auctions extend and generalize all the preceding types of combinatorial auctions. In this paper, we try to make headway on the practical application...
    Meritxell Vinyals, Andrea Giovannucci, Jesú...
    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.