1438 search results - page 74 / 288 » An Expressive Extension of TLC |
COMSIS
2007
15 years 21 days ago
2007
This paper presents an extension of the Tatoo compiler compiler that supports separate compilation and dynamic linking of formal grammars. It allows the developer to define reusabl...
87
Voted
CG
2002
Springer
15 years 16 days ago
2002
Springer
An extension of canonical projection allowing the projection of objects from higher dimensional space onto quasicrystalline structures is developed. In particular, we create symme...
123
click to vote
SCP
2000
15 years 14 days ago
2000
An extension of the -calculus called BS is introduced as a formal basis for functional languages expressing bulk synchronous parallel algorithms. A con uence result is shown. The ...
138
Voted
AMW
2010
14 years 11 months ago
2010
SPARQL currently does not include any form of nested queries. In this paper we present a proposal to incorporate nested queries into SPARQL along the design philosophy of SQL neste...
131
Voted
DLOG
2008
15 years 3 months ago
2008
Abstract. Fuzzy Description Logics (f-DLs) have been proposed as extensions of classical Description Logics able to handle imprecise and vague knowledge. Although several extension...