Sciweavers

    31387 search results - page 270 / 6278
    » Abstracts
    Sort
    View
    NAACL
    2007
    70views Computational Linguistics» more  NAACL 2007»
    Generalized Graphical Abstractions for Statistical Machine Translation
    15 years 8 months ago
    Generalized Graphical Abstractions for Statistical Machine Translation
    Download  ssli.ee.washington.edu
    Karim Filali, Jeff A. Bilmes
    claim paper
    Read More »
    147
    Voted
    UAI
    2008
    183views Artificial Intelligence» more  UAI 2008»
    Speeding Up Planning in Markov Decision Processes via Automatically Constructed Abstraction
    15 years 8 months ago
    Speeding Up Planning in Markov Decision Processes via Automatically Constructed Abstraction
    Download  uai2008.cs.helsinki.fi
    Alejandro Isaza, Csaba Szepesvári, Vadim Bu...
    claim paper
    Read More »
    WCET
    2008
    72views Software Engineering» more  WCET 2008»
    Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution
    15 years 8 months ago
    Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution
    Download  pan.vmars.tuwien.ac.at
    stract Execution Jan Gustafsson and Andreas Ermedahl M
    Jan Gustafsson, Andreas Ermedahl
    claim paper
    Read More »
    AAAI
    2006
    111views Intelligent Agents» more  AAAI 2006»
    Abstract Branching for Quantified Formulas
    15 years 8 months ago
    Abstract Branching for Quantified Formulas
    Download  www.aaai.org
    Marco Benedetti
    claim paper
    Read More »
    AAAI
    2004
    111views Intelligent Agents» more  AAAI 2004»
    Logic Programs with Abstract Constraint Atoms
    15 years 8 months ago
    Logic Programs with Abstract Constraint Atoms
    Download  www.aaai.org
    We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
    Victor W. Marek, Miroslaw Truszczynski
    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.