29082 search results - page 5513 / 5817 » The Time-Triggered Model of Computation |
175
click to vote
ACL
1994
15 years 8 months ago
1994
We describe an implementation in Carpenter's typed feature formalism, ALE, of a discourse grammar of the kind proposed by Scha, Polanyi, et al. We examine their method for re...
225
Voted
FORTE
1994
15 years 8 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
390
click to vote
GRAPHICSINTERFACE
1996
15 years 8 months ago
1996
We present a comprehensive methodology for realistically animating liquid phenomena. Our approach unifies existing computer graphics techniques for simulating fluids and extends t...
159
click to vote
LISA
1993
15 years 8 months ago
1993
Three years ago the Stanford Linear Accelerator Center (SLAC) decided to embrace netnews as a site-wide, multi-platform communications tool for the laboratory’s diverse user com...
188
click to vote
IJCAI
1989
15 years 7 months ago
1989
gn problem can be abstractly characterized as a constrained function-to-structure mapping. The de sign task takes as input the specifications of the desired functions of a device...