6794 search results - page 1108 / 1359 » Semantics of Visual Languages |
133
click to vote
CONCUR
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...
120
click to vote
HT
1996
ACM
15 years 8 months ago
1996
ACM
With the widespread use of full-text information retrieval, passage-retrieval techniques are becoming increasingly popular. Larger texts can then be replaced by important text exc...
147
click to vote
ICDE
1994
IEEE
15 years 8 months ago
1994
IEEE
In applications like nancial trading, scheduling, manufacturing and process control, time based predicates in queries and rules are very important. There is also a need to de ne ...
174
click to vote
CADE
1992
Springer
15 years 8 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
130
click to vote
SC
1992
ACM
15 years 8 months ago
1992
ACM
This paper presents Jade, a high-level parallel programming language for managing coarse-grain concurrency. Jade simplifies programming by providing the programmer with the abstra...