128 search results - page 16 / 26 » Extensible encoding of type hierarchies |
WEBI
2005
Springer
14 years 1 months ago
2005
Springer
The basis of much of the intelligence on the Web is the hyperlink structure which represents an organising principle based on the human facility to be able to discriminate between...
LICS
2008
IEEE
14 years 1 months ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
IFIP
2004
Springer
14 years 28 days ago
2004
Springer
In global computing applications the availability of a mechanism for some form of committed choice can be useful, and sometimes necessary. It can conveniently handle, e.g., distrib...
IEAAIE
1994
Springer
13 years 11 months ago
1994
Springer
In this paper we discuss the design and development of an interlingua for a large-scale MT project. We also discuss how the resulting KANT interlingua constrains complexity, suppo...
INTERACT
2007
13 years 9 months ago
2007
This paper discusses how semiotic engineering can support the formulation of problems and solutions involved in handling face-to-face (F2F) sociability models in computer-mediated ...