4516 search results - page 654 / 904 » Automated System Design for Availability |
247
click to vote
GIS
2008
ACM
16 years 6 months ago
2008
ACM
The pervasiveness of location-acquisition technologies (GPS, GSM networks, etc.) enable people to conveniently log the location histories they visited with spatio-temporal data. T...
143
click to vote
MICCAI
2002
Springer
16 years 6 months ago
2002
Springer
CT-angiography is a well established medical imaging technique for the detection, evaluation and therapy planning of intracranial aneurysms. Different 3D visualization algorithms s...
160
click to vote
WWW
2002
ACM
16 years 5 months ago
2002
ACM
The structure of the web is increasingly being used to improve organization, search, and analysis of information on the web. For example, Google uses the text in citing documents ...
197
click to vote
WWW
2002
ACM
16 years 5 months ago
2002
ACM
Real-scale Semantic Web applications, such as Knowledge Portals and E-Marketplaces, require the managementof large volumes of metadata, i.e., information describing the available ...
170
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...