3379 search results - page 609 / 676 » Combinators for Interaction Nets |
108
click to vote
SIGGRAPH
2000
ACM
15 years 4 months ago
2000
ACM
This paper introduces a new type of medium, called a video texture, which has qualities somewhere between those of a photograph and a video. A video texture provides a continuous ...
SIGSOFT
2000
ACM
15 years 4 months ago
2000
ACM
Software systems should consist of simple, conceptually clean software components interacting along narrow, well-defined paths. All too often, this is not reality: complex compon...
108
click to vote
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
SIGGRAPH
1999
ACM
15 years 4 months ago
1999
ACM
With fast 3D graphics becoming more and more available even on low end platforms, the focus in hardware-accelerated rendering is beginning to shift towards higher quality renderin...
120
click to vote
TPHOL
1999
IEEE
15 years 4 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...