3299 search results - page 32 / 660 » A general mathematics of names |
FOSSACS
2010
Springer
15 years 6 months ago
2010
Springer
Λµ-calculus was introduced as a Böhm-complete extension of Parigot's λµ-calculus. Λµ-calculus, contrarily to Parigot's calculus, is a calculus of CBN delimited con...
102
click to vote
GIR
2006
ACM
15 years 5 months ago
2006
ACM
GPS tracklogs provide a valuable record of routes travelled. In this paper we describe initial experiments exploring the use of text information retrieval techniques for the locat...
LICS
2000
IEEE
15 years 4 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
ERCIMDL
2007
Springer
15 years 3 months ago
2007
Springer
Well-established instruments such as authority files and a growing set of data structures such as CIDOC CRM, FRBRoo, and MODS provide the foundation for emerging, new digital servi...
ACL
2001
15 years 1 months ago
2001
This paper presents a method that assists in maintaining a rule-based named-entity recognition and classification system. The underlying idea is to use a separate system, construc...