4325 search results - page 30 / 865 » Incremental computation with names |
SAC
2000
ACM
15 years 2 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
ICPR
2004
IEEE
15 years 12 months ago
2004
IEEE
In this paper, we are interested in the sender's name extraction in fax cover pages through a machine learning scheme. For this purpose, two analysis methods are implemented ...
CHI
2003
ACM
15 years 11 months ago
2003
ACM
From working with location-based information systems we know that positioning is problematic. A different approach was tested, where users themselves were allowed to name and defi...
STACS
2010
Springer
15 years 5 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
GG
2008
Springer
14 years 12 months ago
2008
Springer
We consider four different models of process interactions that unify and generalise models introduced and studied by Angluin et al. [AAD+ 04] and models introduced and studied by ...