Sciweavers

    16091 search results - page 136 / 3219
    » Solving
    Sort
    View
    103
    Voted
    SAT
    2009
    Springer
    90views Hardware» more  SAT 2009»
    Solving (Weighted) Partial MaxSAT through Satisfiability Testing
    15 years 9 months ago
    Solving (Weighted) Partial MaxSAT through Satisfiability Testing
    Download  www.iiia.csic.es
    Carlos Ansótegui, Maria Luisa Bonet, Jordi ...
    claim paper
    Read More »
    110
    Voted
    ICAIL
    2009
    ACM
    156views Artificial Intelligence» more  ICAIL 2009»
    How much logical structure is helpful in content-based argumentation software for legal case solving?
    15 years 9 months 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 »
    86
    Voted
    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
    15 years 9 months 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
    15 years 9 months 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 »
    93
    Voted
    ICTAI
    2008
    IEEE
    95views Artificial Intelligence» more  ICTAI 2008»
    Extending to Soft and Preference Constraints a Framework for Solving Efficiently Structured Problems
    15 years 9 months 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
    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-2026, USA.