3709 search results - page 320 / 742 » Supporting experimentation with Side-Views |
152
click to vote
CL
2004
Springer
15 years 6 months ago
2004
Springer
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Sei...
196
Voted
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We introduce an extension of the XQuery language, FluX, that supports event-based query processing and the conscious handling of main memory buffers. Purely event-based queries of...
192
click to vote
CONCURRENCY
2002
15 years 6 months ago
2002
Parallel visualization of large datasets in GeoFEM is described. Our visualization subsystem supports concurrent visualization with computation, and outputs a simplified small gra...
208
click to vote
IVC
2000
15 years 6 months ago
2000
We present a fast, robust, and low cost pupil detection technique that uses two near infra red time multiplexed light sources synchronized with the camera frame rate. The two ligh...
136
click to vote
IJBC
2007
15 years 6 months ago
2007
Centrality indices are an essential concept in network analysis. For those based on shortest-path distances the computation is at least quadratic in the number of nodes, since it ...