3564 search results - page 35 / 713 » Evaluating a Formal Modelling Language |
125
Voted
ICDAR
2009
IEEE
15 years 1 months ago
2009
IEEE
Standard cursive handwriting recognition is based on a language model, mostly a lexicon of possible word hypotheses or character n-grams. The result is a list of word alternatives...
114
Voted
DAC
1998
ACM
16 years 4 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
143
Voted
ARTS
1999
Springer
15 years 7 months ago
1999
Springer
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
107
Voted
ICFCA
2007
Springer
15 years 9 months ago
2007
Springer
We model a Digital Library as a formal context in which objects are documents and attributes are terms describing documents contents. A formal concept is very close to the notion o...
152
click to vote
COLING
1990
15 years 4 months ago
1990
One of the issues of Artificial Intelligence is the transfer of the knowledge conveyed by Natural Language into formalisms that a computer can interpret. In the Natural Language P...