Search Sciweavers | Sciweavers

13090 search results - page 280 / 2618

» Usable artificial intelligence

138

Voted

ECAI
2006
Springer

101views Artificial Intelligence» more ECAI 2006»

Evaluating ASP and Commercial Solvers on the CSPLib

15 years 8 months ago

Download www.crt.umontreal.ca

Marco Cadoli, Toni Mancini, Davide Micaletto, Fabi...

claim paper

Read More »

169

Voted

NICSO
2010
Springer

276views Artificial Intelligence» more NICSO 2010»

Discovering Beneficial Cooperative Structures for the Automated Construction of Heuristics

15 years 8 months ago

Download www.cs.nott.ac.uk

Germán Terrazas, Dario Landa-Silva, Natalio...

claim paper

Read More »

119

click to vote

DIGITEL
2007
IEEE

97views Artificial Intelligence» more DIGITEL 2007»

PILE: Physical Interactive Learning Environment

15 years 8 months ago

Download thesis.lib.ncu.edu.tw

Jie Chi Yang, Yi Ho Chen, Chih Hung Chen

claim paper

Read More »

141

click to vote

CP
2008
Springer

106views Artificial Intelligence» more CP 2008»

A Coinduction Rule for Entailment of Recursively Defined Properties

15 years 8 months ago

Download www.comp.nus.edu.sg

Joxan Jaffar, Andrew E. Santosa, Razvan Voicu

claim paper

Read More »

140

click to vote

DIAGRAMS
2008
Springer

120views Artificial Intelligence» more DIAGRAMS 2008»

LePUS3: An Object-Oriented Design Description Language

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers