11397 search results - page 2071 / 2280 » A Relational Abstraction for Functions |
203
click to vote
VECPAR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Matter in the universe mainly consists of plasma. The dynamics of plasmas is controlled by magnetic fields. To simulate the evolution of magnetised plasma, we solve the e...
222
click to vote
CHI
1997
ACM
15 years 11 months ago
1997
ACM
Rosebud is a user-interface prototype which elicits storytelling by child users though interaction with a computationally-augmented physical artifact. In particular, Rosebud links...
204
click to vote
CHI
1997
ACM
15 years 11 months ago
1997
ACM
in CHI’97 Extended Abstract, ACM Press, pp. 319-320 based awareness tools and iconic indicators because it meets three crucial user requirements. This paper describes the activit...
210
click to vote
CIKM
1993
Springer
15 years 11 months ago
1993
Springer
match algorithms that can efficiently handleAbstract complex tests in the presence of large amounts of data. Match algorithms that are capable of handling large amounts of On the o...
203
click to vote
CONCUR
1992
Springer
15 years 11 months ago
1992
Springer
Petri Place/Transition (PT) nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the "...