1981 search results - page 146 / 397 » Model-Checking Hierarchical Structures |
WISE
2007
Springer
15 years 4 months ago
2007
Springer
Nowadays information systems are increasingly distributed and deployed within the Internet platform. Without any doubt, the World Wide Web represents the de facto standard platform...
107
click to vote
3DPVT
2006
IEEE
15 years 4 months ago
2006
IEEE
Interactive network-based navigation over large urban environments raises difficult problems due to the size and complexity of these scenes. In this paper, we present a clientser...
SWS
2004
ACM
15 years 3 months ago
2004
ACM
W3C Recommendations XML Encryption and XML-Digital Signature can be used to protect the confidentiality of and provide assurances about the integrity of XML documents transmitted...
ICDM
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper, we propose a novel technique for the efficient prediction of multiple continuous target variables from high-dimensional and heterogeneous data sets using a hierarch...
VISUALIZATION
1999
IEEE
15 years 2 months ago
1999
IEEE
Our ability to accumulate large, complex (multivariate) data sets has far exceeded our ability to effectively process them in search of patterns, anomalies, and other interesting ...