Search Sciweavers | Sciweavers

16091 search results - page 136 / 3219

» Solving

108

click to vote

SAT
2009
Springer

90views Hardware» more SAT 2009»

Solving (Weighted) Partial MaxSAT through Satisfiability Testing

15 years 10 months ago

Download www.iiia.csic.es

Carlos Ansótegui, Maria Luisa Bonet, Jordi ...

claim paper

Read More »

116

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 10 months ago

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 »

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 10 months ago

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 »

Voted

EMS
2008
IEEE

90views Modeling and Simulation» more EMS 2008»

Conventional Methods and AI models for Solving an Industrial an Industrial Problem

15 years 10 months ago

Download gicap.ubu.es

Andrés Bustillo, Javier Sedano, José...

claim paper

Read More »

101

click to vote

ICTAI
2008
IEEE

95views Artificial Intelligence» more ICTAI 2008»

Extending to Soft and Preference Constraints a Framework for Solving Efficiently Structured Problems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers