6906 search results - page 1249 / 1382 » An algorithm for modelling key terms |
132
click to vote
SIGMOD
2012
ACM
13 years 13 days ago
2012
ACM
The popularity of mobile social networking services (mSNSs) is propelling more and more businesses, especially those in retailing and marketing, into mobile and location-based for...
KDD
2012
ACM
13 years 12 days ago
2012
ACM
Most existing research about online trust assumes static trust relations between users. As we are informed by social sciences, trust evolves as humans interact. Little work exists...
125
click to vote
KDD
2012
ACM
13 years 12 days ago
2012
ACM
A reasonable definition of intrusion is: entering a community to which one does not belong. This suggests that in a network, intrusion attempts may be detected by looking for com...
CVPR
2012
IEEE
13 years 12 days ago
2012
IEEE
We propose an energy-based framework for approximating surfaces from a cloud of point measurements corrupted by noise and outliers. Our energy assigns a tangent plane to each (noi...
104
click to vote
ICFP
2012
ACM
13 years 11 days ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...