1982 search results - page 288 / 397 » Parametricity and dependent types |
3DPVT
2002
IEEE
15 years 3 months ago
2002
IEEE
Techniques are presented to progressively approximate and compress in a lossless manner two-colored (i.e. binary) 3D objects (as well as objects of arbitrary dimensionality). The ...
104
click to vote
CSMR
2002
IEEE
15 years 3 months ago
2002
IEEE
The evolution of complex software systems is promoted by software engineering principles and techniques like separation of concerns, encapsulation, stepwise refinement, and reusab...
HAPTICS
2002
IEEE
15 years 3 months ago
2002
IEEE
This paper investigates the problem of perceived instability during haptic texture rendering. We focus on the perceptual analysis of the stability of textured surfaces rendered wi...
HICSS
2002
IEEE
15 years 3 months ago
2002
IEEE
The disorientation problem has been known to exist on hypertext and hypermedia systems. Various approaches have also been recommended and implemented in order to eliminate or redu...
ICDCSW
2002
IEEE
15 years 3 months ago
2002
IEEE
A key issue when designing and implementing largescale publish/subscribe systems is how to efficiently propagate subscriptions among the brokers of the system. Brokers require thi...