Sciweavers

4343 search results - page 417 / 869
» Replication Techniques for Availability
Sort
View
AH
2000
Springer
15 years 11 months ago
Providing Tailored (Context-Aware) Information to City Visitors
The GUIDE system has been developed in order to provide city visitors with an intelligent and context-aware tourist guide. The system has been deployed in the city of Lancaster an...
Keith Cheverst, Nigel Davies, Keith Mitchell, Paul...
CADE
2000
Springer
15 years 11 months ago
Automated Proof Construction in Type Theory Using Resolution
We provide techniques to integrate resolution logic with equality in type theory. The results may be rendered as follows. − A clausification procedure in type theory, equipped w...
Marc Bezem, Dimitri Hendriks, Hans de Nivelle
CIA
2000
Springer
15 years 11 months ago
A Social Mechanism of Reputation Management in Electronic Communities
Abstract. Trust is important wherever agents must interact. We consider the important case of interactions in electronic communities, where the agents assist and represent principa...
Bin Yu, Munindar P. Singh
ICDE
2010
IEEE
145views Database» more  ICDE 2010»
15 years 11 months ago
MASS: a multi-facet domain-specific influential blogger mining system
With rapid development of web 2.0 technology and e-business, bloggers play significant roles in the blogosphere as well as the external world. In particular, influential bloggers c...
Yichuan Cai, Yi Chen
SIGMOD
1999
ACM
112views Database» more  SIGMOD 1999»
15 years 11 months ago
A New Method for Similarity Indexing of Market Basket Data
In recent years, many data mining methods have been proposed for finding useful and structured information from market basket data. The association rule model was recently propos...
Charu C. Aggarwal, Joel L. Wolf, Philip S. Yu