Sciweavers

15778 search results - page 67 / 3156

» Aikido and software engineering

22

FOSSACS
2006
Springer

81views Software Engineering» more FOSSACS 2006»

A Semantic Approach to Interpolation

14 years 1 months ago

A Semantic Approach to Interpolation

Download fm.cs.uiuc.edu

Andrei Popescu, Traian Serbanuta, Grigore Rosu

claim paper

Read More »

18

FSTTCS
2006
Springer

91views Software Engineering» more FSTTCS 2006»

Tree Automata Make Ordinal Theory Easy

14 years 1 months ago

Tree Automata Make Ordinal Theory Easy

Download www.liafa.jussieu.fr

Thierry Cachat

claim paper

Read More »

23

FSTTCS
2006
Springer

85views Software Engineering» more FSTTCS 2006»

Fast Edge Colorings with Fixed Number of Colors to Minimize Imbalance

14 years 1 months ago

Fast Edge Colorings with Fixed Number of Colors to Minimize Imbalance

Download jgaa.info

Gruia Calinescu, Michael J. Pelsmajer

claim paper

Read More »

22

FSTTCS
2006
Springer

92views Software Engineering» more FSTTCS 2006»

Rational Behaviour and Strategy Construction in Infinite Multiplayer Games

14 years 1 months ago

Rational Behaviour and Strategy Construction in Infinite Multiplayer Games

Download www.logic.rwth-aachen.de

Michael Ummels

claim paper

Read More »

14

AC
2001
Springer

100views Software Engineering» more AC 2001»

Machine Learning in Human Language Technology

14 years 1 months ago

Machine Learning in Human Language Technology

Download www.aueb.gr

Nikos Fakotakis, Kyriakos N. Sgarbas

claim paper

Read More »

« Prev « First page 67 / 3156 Last » Next »