1833 search results - page 280 / 367 » Mechanized Verification with Sharing |
107
Voted
MDM
2005
Springer
15 years 10 months ago
2005
Springer
Traditional approaches to recommender systems have not taken into account situational information when making recommendations, and this seriously limits the relevance of the resul...
143
click to vote
OTM
2005
Springer
15 years 10 months ago
2005
Springer
In ubiquitous computing, behavior routine learning is the process of mining the context-aware data to find interesting rules on the user’s behavior, while preference learning tri...
133
Voted
CSCW
2004
ACM
15 years 10 months ago
2004
ACM
The status quo for co-located groupware is to assume that “social protocols” (standards of polite behavior) are sufficient to coordinate the actions of a group of users; howev...
136
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We describe a new smart meeting room system called EasyMeeting that explores the use of FIPA agent technologies, Semantic Web ontologies, logic reasoning, and security and privacy...
132
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
The Grid and agent communities both develop concepts and mechanisms for open distributed systems, albeit from different perspectives. The Grid community has historically focused o...