972 search results - page 112 / 195 » Intersection types and computational effects |
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
In recent years, we have seen a dramatic increase in the use of data-centric distributed systems such as global grid infrastructures, sensor networks, network monitoring, and vari...
ASSETS
2004
ACM
14 years 2 months ago
2004
ACM
Point estimation is a relatively unexplored facet of sonification. We present a new computer application, the Audio Abacus, designed to transform numbers into tones following the ...
MM
2003
ACM
14 years 2 months ago
2003
ACM
We present an approach to video editing where movie sequences are treated as spatio-temporal volumes that can be sheered and warped under user control. This simple capability enab...
ACIVS
2006
Springer
14 years 22 days ago
2006
Springer
We address the topic of real-time analysis and recognition of silhouettes. The method that we propose first produces object features obtained by a new type of morphological operato...
CF
2004
ACM
14 years 21 days ago
2004
ACM
There is a sustained trend to embed computer systems in all kinds of intelligent products. Increasing emphasis is given to enhance the functionality of such systems beyond the pro...