4298 search results - page 199 / 860 » Computing at the top of the world |
108
click to vote
COMPGEOM
2003
ACM
15 years 7 months ago
2003
ACM
Given a set H of n hyperplanes in IRd , we present an algorithm that ε-approximates the extent between the top and bottom k levels of the arrangement of H in time O(n+(k/ε)c), w...
112
click to vote
EAGC
2003
Springer
15 years 7 months ago
2003
Springer
A preliminary study of the issues surrounding a seach engine for Grid environments, GRISEN, that would enable the provision of a variety of Grid information services, such as loca...
101
click to vote
FCT
2003
Springer
15 years 7 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
114
click to vote
GCC
2003
Springer
15 years 7 months ago
2003
Springer
Despite the growth of Internet and the advances in WWW technology, current methods for web users to make good use of information from so enormous web pages are not as efficient as ...
GD
2003
Springer
15 years 7 months ago
2003
Springer
We propose a method for visualizing a set of related metabolic pathways using 21 2 D graph drawing. Interdependent, twodimensional layouts of each pathway are stacked on top of eac...