Sciweavers

9455 search results - page 162 / 1891
» The Modelling Language Zinc
Sort
View
DRR
2010
15 years 4 months ago
Efficient automatic OCR word validation using word partial format derivation and language model
In this paper we present an OCR validation module, implemented for the System for Preservation of Electronic Resources (SPER) developed at the U.S. National Library of Medicine.1 ...
Siyuan Chen, Dharitri Misra, George R. Thoma
ATAL
2008
Springer
15 years 3 months ago
A model of contingent planning for agent programming languages
Yves Lespérance, Giuseppe De Giacomo, Atala...
96
Voted
ASWSD
2006
Springer
15 years 3 months ago
Modeling with the Timing Definition Language (TDL)
Wolfgang Pree, Josef Templ