12774 search results - page 2202 / 2555 » A Framework for Proof Systems |
173
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
The Web 2.0 fosters the creation of communities by offering users a wide array of social software tools. While the success of these tools is based on their ability to support diff...
168
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Model-Driven Engineering (MDE) has become an important development framework for many large-scale software. Previous research has reported that as in traditional code-based develo...
179
click to vote
KDD
2009
ACM
16 years 1 months ago
2009
ACM
One-Class Collaborative Filtering (OCCF) is a task that naturally emerges in recommender system settings. Typical characteristics include: Only positive examples can be observed, ...
140
click to vote
PAKDD
2009
ACM
16 years 1 months ago
2009
ACM
Atypical behaviours are the basis of a valuable knowledge in domains related to security (e.g. fraud detection for credit card [1], cyber security [4] or safety of critical systems...
171
click to vote
PERVASIVE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Emerging pervasive computing technologies present many opportunities to aid ad-hoc collocated group collaboration. To better understand ad-hoc collaboration using pervasi...