Search Sciweavers | Sciweavers

9520 search results - page 386 / 1904

» or 2011

159

click to vote

AI
2011
Springer

158views Artificial Intelligence» more AI 2011»

Weighted argument systems: Basic definitions, algorithms, and complexity results

15 years 1 months ago

Download www.csc.liv.ac.uk

Paul E. Dunne, Anthony Hunter, Peter McBurney, Sim...

claim paper

Read More »

132

click to vote

AI
2011
Springer

126views Artificial Intelligence» more AI 2011»

Inconsistent heuristics in theory and practice

15 years 1 months ago

Download web.cs.du.edu

Ariel Felner, Uzi Zahavi, Robert Holte, Jonathan S...

claim paper

Read More »

144

click to vote

AI
2011
Springer

130views Artificial Intelligence» more AI 2011»

On rules with existential variables: Walking the decidability line

15 years 1 months ago

Download www.lirmm.fr

Jean-François Baget, Michel Leclère,...

claim paper

Read More »

162

click to vote

ALGORITHMICA
2011

170views Artificial Intelligence» more ALGORITHMICA 2011»

Shape Rectangularization Problems in Intensity-Modulated Radiation Therapy

15 years 1 months ago

Download www.cse.nd.edu

Nikhil Bansal, Danny Z. Chen, Don Coppersmith, Xia...

claim paper

Read More »

202

click to vote

APAL
2011

190views Software Engineering» more APAL 2011»

Stable domination and weight

15 years 1 months ago

Download intramath.uniandes.edu.co

We develop the theory of domination by stable types and stable weight in an arbitrary theory.

Alf Onshuus, Alexander Usvyatsov

claim paper

Read More »

« Prev « First page 386 / 1904 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers