20066 search results - page 249 / 4014 » T Spaces |
112
click to vote
FSS
2007
15 years 6 months ago
2007
: We show that the classical axiom which characterizes pretopological convergence spaces splits into two axioms in the general Heyting algebra-valued case. Furthermore we present a...
188
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Advances in networking technology have enabled network engineers to use sampled data from routers to estimate network flow volumes and track them over time. However, low sampling ...
191
click to vote
IJMMS
2007
15 years 6 months ago
2007
Communication of affect across a distance is not well supported by current technology, despite its importance to interpersonal interaction in modern lifestyles. Touch is a powerfu...
195
click to vote
NJC
2000
15 years 6 months ago
2000
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
210
click to vote
CSDA
2007
15 years 6 months ago
2007
In blind source separation, there are M sources that produce sounds independently and continuously over time. These sounds are then recorded by m receivers. The sound recorded by ...