Sciweavers

    20294 search results - page 105 / 4059
    » Algorithmic Information Theory
    Sort
    View
    INFORMS
    2008
    39views more  INFORMS 2008»
    A Faster Index Algorithm and a Computational Study for Bandits with Switching Costs
    15 years 3 months ago
    A Faster Index Algorithm and a Computational Study for Bandits with Switching Costs
    Download  halweb.uc3m.es
    José Niño-Mora
    claim paper
    Read More »
    100
    Voted
    INFORMS
    2010
    104views more  INFORMS 2010»
    A Tree Search Algorithm for Solving the Container Loading Problem
    15 years 2 months ago
    A Tree Search Algorithm for Solving the Container Loading Problem
    Download  www.fernuni-hagen.de
    Tobias Fanslau, Andreas Bortfeldt
    claim paper
    Read More »
    INFORMS
    2010
    60views more  INFORMS 2010»
    The Multidimensional Knapsack Problem: Structure and Algorithms
    15 years 2 months ago
    The Multidimensional Knapsack Problem: Structure and Algorithms
    Download  www.ads.tuwien.ac.at
    Jakob Puchinger, Günther R. Raidl, Ulrich Pfe...
    claim paper
    Read More »
    137
    Voted
    VMCAI
    2007
    Springer
    113views Software Engineering» more  VMCAI 2007»
    Invariant Synthesis for Combined Theories
    15 years 10 months ago
    Invariant Synthesis for Combined Theories
    Download  www.dur.ac.uk
    We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
    Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, A...
    claim paper
    Read More »
    AGI
    2011
    244views Artificial Intelligence» more  AGI 2011»
    Three Hypotheses about the Geometry of Mind
    14 years 7 months ago
    Three Hypotheses about the Geometry of Mind
    Download  faculty.adams.edu
    What set of concepts and formalizations might one use to make a practically useful, theoretically rigorous theory of generally intelligent systems? We present a novel perspective m...
    Ben Goertzel, Matthew Iklé
    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.