6829 search results - page 130 / 1366 » Quantitative Generalizations of Languages |
153
Voted
WWW
2006
ACM
15 years 11 months ago
2006
ACM
In this paper, we describe how domain ontologies are used in a dialogue system guiding the user to access web public administration contents. The current implementation of the sys...
145
Voted
FOSSACS
2003
Springer
15 years 10 months ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
123
click to vote
GI
2009
Springer
15 years 9 months ago
2009
Springer
Abstract: Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract mon...
124
click to vote
IMPERIAL
1994
15 years 9 months ago
1994
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...
146
Voted
LICS
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we describe the promoted tyft tyxt rule format for de ning higher-order languages. The rule format is a generalization of Groote and Vaandrager's tyft tyxt form...