Search Sciweavers | Sciweavers

15777 search results - page 189 / 3156

» The Reformulation-Optimization Software Engine

click to vote

FOSSACS
2006
Springer

105views Software Engineering» more FOSSACS 2006»

Dynamic Policy Discovery with Remote Attestation

13 years 12 months ago

Download condor.depaul.edu

Corin Pitcher, James Riely

claim paper

Read More »

click to vote

FOSSACS
2006
Springer

81views Software Engineering» more FOSSACS 2006»

A Semantic Approach to Interpolation

13 years 12 months ago

Download fm.cs.uiuc.edu

Andrei Popescu, Traian Serbanuta, Grigore Rosu

claim paper

Read More »

click to vote

FSTTCS
2006
Springer

91views Software Engineering» more FSTTCS 2006»

Tree Automata Make Ordinal Theory Easy

13 years 12 months ago

Download www.liafa.jussieu.fr

Thierry Cachat

claim paper

Read More »

click to vote

FSTTCS
2006
Springer

85views Software Engineering» more FSTTCS 2006»

Fast Edge Colorings with Fixed Number of Colors to Minimize Imbalance

13 years 12 months ago

Download jgaa.info

Gruia Calinescu, Michael J. Pelsmajer

claim paper

Read More »

click to vote

FSTTCS
2006
Springer

92views Software Engineering» more FSTTCS 2006»

Rational Behaviour and Strategy Construction in Infinite Multiplayer Games

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers