Sciweavers

15777 search results - page 188 / 3156

» Software Engineering

133

FOSSACS
2006
Springer

81views Software Engineering» more FOSSACS 2006»

A Semantic Approach to Interpolation

15 years 10 months ago

A Semantic Approach to Interpolation

Download fm.cs.uiuc.edu

Andrei Popescu, Traian Serbanuta, Grigore Rosu

claim paper

Read More »

128

Voted

FSTTCS
2006
Springer

91views Software Engineering» more FSTTCS 2006»

Tree Automata Make Ordinal Theory Easy

15 years 10 months ago

Tree Automata Make Ordinal Theory Easy

Download www.liafa.jussieu.fr

Thierry Cachat

claim paper

Read More »

143

FSTTCS
2006
Springer

85views Software Engineering» more FSTTCS 2006»

Fast Edge Colorings with Fixed Number of Colors to Minimize Imbalance

15 years 10 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 »

171

FSTTCS
2006
Springer

92views Software Engineering» more FSTTCS 2006»

Rational Behaviour and Strategy Construction in Infinite Multiplayer Games

15 years 10 months ago

Rational Behaviour and Strategy Construction in Infinite Multiplayer Games

Download www.logic.rwth-aachen.de

Michael Ummels

claim paper

Read More »

121

Voted

AC
2001
Springer

100views Software Engineering» more AC 2001»

Machine Learning in Human Language Technology

15 years 10 months ago

Machine Learning in Human Language Technology

Download www.aueb.gr

Nikos Fakotakis, Kyriakos N. Sgarbas

claim paper

Read More »

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