883 search results - page 162 / 177 » Communities of Interest |
PKDD
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The paradigm of pattern discovery based on constraints was introduced with the aim of providing to the user a tool to drive the discovery process towards potentially inte...
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
PDC
2004
ACM
14 years 1 months ago
2004
ACM
In recent years both companies and research communities call for collaborative work practices and user-centered approaches in various design fields. There are several challenges a...
SIGECOM
2004
ACM
14 years 1 months ago
2004
ACM
A crucial element in consumer electronic commerce is a catalog tool that not only finds the product for the user, but also convinces him that he has made the best choice. To do th...
ATAL
2003
Springer
14 years 25 days ago
2003
Springer
A referral system is a multiagent system whose member agents are capable of giving and following referrals. The specific cases of interest arise where each agent has a user. The ...