1604 search results - page 221 / 321 » Development Separation in Lambda-Calculus |
89
Voted
ACMSE
1992
ACM
15 years 4 months ago
1992
ACM
Ray-tracing is a well-known method for producing realistic images. If we wish to view a ray-traced image stereoscopically, we must create two distinct views of the image: a left-e...
130
Voted
UIST
1993
ACM
15 years 4 months ago
1993
ACM
Model-based user interface design is centered around a description of application objects and operations at a level of ion higher than that of code. A good model can be used to su...
102
Voted
ISAAC
1992
Springer
15 years 4 months ago
1992
Springer
A (0,1)-matrix satisfies the consecutive ones property if there exists a column permutation such that the ones in each row of the resulting matrix are consecutive. Booth and Lueke...
115
Voted
SIGGRAPH
1990
ACM
15 years 4 months ago
1990
ACM
We propose a new rendering technique that produces 3-D images with enhanced visual comprehensibility. Shape features can be readily understood if certain geometric properties are ...
AOSD
2007
ACM
15 years 4 months ago
2007
ACM
Embedded systems are an important field of research and will gain momentum in the near future. Many of these systems require data management functionality. Due to the resource con...