Sciweavers

12745 search results - page 147 / 2549
» Automating test automation
Sort
View
119
Voted
CL
2000
Springer
15 years 4 months ago
Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams
Steffen Hölldobler, Hans-Peter Störr
103
Voted
CSL
2000
Springer
15 years 4 months ago
Structured language modeling
Ciprian Chelba, Frederick Jelinek