6279 search results - page 989 / 1256 » Objects as session-typed processes |
199
click to vote
SIGGRAPH
2000
ACM
15 years 11 months ago
2000
ACM
We describe a hardware and software system for digitizing the shape and color of large fragile objects under non-laboratory conditions. Our system employs laser triangulation rang...
189
click to vote
SIGGRAPH
2000
ACM
15 years 11 months ago
2000
ACM
Physical simulation of dynamic objects has become commonplace in computer graphics because it produces highly realistic animations. In this paradigm the animator provides few phys...
211
click to vote
CHI
1997
ACM
15 years 11 months ago
1997
ACM
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...
183
click to vote
HIM
1997
Springer
15 years 11 months ago
1997
Springer
The project DIANE is an EU-funded project in the ACTS Program and started in September 1995. The goal of DIANE is to establish a service, which enables an user to annotate anythin...
217
click to vote
PODS
1994
ACM
15 years 10 months ago
1994
ACM
Traditionally, computational complexity has considered only static problems. Classical Complexity Classes such as NC, P, and NP are de ned in terms of the complexity of checking {...