2514 search results - page 405 / 503 » The use of industrial-strength formal methods |
151
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
We analyze dependencies in power law graph data (Web sample, Wikipedia sample and a preferential attachment graph) using statistical inference for multivariate regular variation. ...
174
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
Currently, there is an increasing effort to provide various personalized services on museum web sites. This paper presents an approach for determining user interests in a museum c...
137
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Association search is to search for certain instances in semantic web and then make inferences from and about the instances we have found. In this paper, we propose the problem of...
149
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Continuing changes in the domains of consumer devices and multimedia formats demand for a new approach to media adaptation. The publication of customized content on a device requi...
190
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
An important objective of the Semantic Web is to make Electronic Commerce interactions more flexible and automated. To achieve this, standardization of ontologies, message content...