Sciweavers

22018 search results - page 314 / 4404
» or 2004
Sort
View
118
Voted
TSD
2004
Springer
16 years 26 days ago
Bayesian Reinforcement for a Probabilistic Neural Net Part-of-Speech Tagger
Manolis Maragoudakis, Todor Ganchev, Nikos Fakotak...
TYPES
2004
Springer
16 years 26 days ago
A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis
Yves Bertot, Benjamin Grégoire, Xavier Lero...
TYPES
2004
Springer
16 years 26 days ago
Surreal Numbers in Coq
Lionel Elie Mamane
132
Voted
TYPES
2004
Springer
16 years 26 days ago
Interfaces as Games, Programs as Strategies
Markus Michelbrink