3429 search results - page 336 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
218
click to vote
SIGMOD
2005
ACM
16 years 5 months ago
2005
ACM
A defining characteristic of continuous queries over on-line data streams, possibly bounded by sliding windows, is the potentially infinite and time-evolving nature of their input...
119
Voted
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
We generalise the notion of pre-logical predicates [HS02] to arbitrary simply typed formal systems and their categorical models. We establish the basic lemma of pre-logical predica...
136
click to vote
LICS
1989
IEEE
15 years 9 months ago
1989
IEEE
The λ-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses βη-conversion to prove equivalence of programs, then a gros...
130
click to vote
ALT
2004
Springer
16 years 1 months ago
2004
Springer
In this paper we introduce a paradigm for learning in the limit of potentially infinite languages from all positive data and negative counterexamples provided in response to the ...
175
click to vote
SMA
1993
ACM
15 years 9 months ago
1993
ACM
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...