2864 search results - page 253 / 573 » Geo Linked Data |
183
click to vote
HT
1997
ACM
15 years 10 months ago
1997
ACM
This paper describes a generic approach to structuring and visualising a hypertext-based information space on the WWW. This approach, called Generalised Similarity Analysis (GSA),...
181
click to vote
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
The notion of lambda-Grids posits plentiful collections of computing and storage resources richly interconnected by dedicated dense wavelength division multiplexing (DWDM) optical...
233
click to vote
ER
1997
Springer
15 years 10 months ago
1997
Springer
Development of today's advanced applications is increasingly being accomplished using multi-faceted modeling. For example, the areas of simulation and workflow modeling genera...
181
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
188
click to vote
IWCMC
2010
ACM
15 years 8 months ago
2010
ACM
Despite a large body of literature and methods devoted to the Traffic Matrix (TM) estimation problem, the inference of traffic flows volume from aggregated data still represents a ...