5451 search results - page 111 / 1091 » Typed Operational Semantics |
126
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
Abstract. This paper presents a set of image operators for detecting regions in space-time where interesting events occur. To define such regions of interest, we compute a spatio-t...
153
click to vote
DOLAP
1999
ACM
15 years 10 months ago
1999
ACM
Recently numerous proposals for modelling and querying Multidimensional Databases (MDDB) are proposed. Among the still open problems there is a rigorous classification of the diff...
203
click to vote
TLDI
2003
ACM
15 years 11 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
171
click to vote
TPHOL
2007
IEEE
16 years 11 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
