Sciweavers

    16091 search results - page 136 / 3219
    » Solving
    Sort
    View
    SAT
    2009
    Springer
    90views Hardware» more  SAT 2009»
    Solving (Weighted) Partial MaxSAT through Satisfiability Testing
    16 years 22 days ago
    Solving (Weighted) Partial MaxSAT through Satisfiability Testing
    Download  www.iiia.csic.es
    Carlos Ansótegui, Maria Luisa Bonet, Jordi ...
    claim paper
    Read More »
    ICAIL
    2009
    ACM
    156views Artificial Intelligence» more  ICAIL 2009»
    How much logical structure is helpful in content-based argumentation software for legal case solving?
    16 years 21 days ago
    How much logical structure is helpful in content-based argumentation software for legal case solving?
    Download  www.ai.rug.nl
    Current argumentation support software often employs graphical representations of logical relationships. Little is known about the extent to which logical structuring helps to inc...
    Stijn Colen, Fokie Cnossen, Bart Verheij
    claim paper
    Read More »
    CHI
    2010
    ACM
    258views Human Computer Interaction» more  CHI 2010»
    SHRIMP: solving collision and out of vocabulary problems in mobile predictive input with motion gesture
    16 years 20 days ago
    SHRIMP: solving collision and out of vocabulary problems in mobile predictive input with motion gesture
    Download  bid.berkeley.edu
    Dictionary-based disambiguation (DBD) is a very popular solution for text entry on mobile phone keypads but suffers
    Jingtao Wang, Shumin Zhai, John F. Canny
    claim paper
    Read More »
    EMS
    2008
    IEEE
    90views Modeling and Simulation» more  EMS 2008»
    Conventional Methods and AI models for Solving an Industrial an Industrial Problem
    16 years 19 days ago
    Conventional Methods and AI models for Solving an Industrial an Industrial Problem
    Download  gicap.ubu.es
    Andrés Bustillo, Javier Sedano, José...
    claim paper
    Read More »
    ICTAI
    2008
    IEEE
    95views Artificial Intelligence» more  ICTAI 2008»
    Extending to Soft and Preference Constraints a Framework for Solving Efficiently Structured Problems
    16 years 18 days ago
    Extending to Soft and Preference Constraints a Framework for Solving Efficiently Structured Problems
    Download  www.aaai.org
    Samba Ndiaye, Philippe Jégou, Cyril Terriou...
    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.