3374 search results - page 428 / 675 » Explaining Similarity of Terms |
295
Voted
ECOOP
2009
Springer
16 years 6 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
180
click to vote
KDD
2009
ACM
16 years 6 months ago
2009
ACM
Lately there exist increasing demands for online abnormality monitoring over trajectory streams, which are obtained from moving object tracking devices. This problem is challengin...
176
click to vote
MOBISYS
2009
ACM
16 years 6 months ago
2009
ACM
Mobile devices often store data in reduced resolutions or custom formats in order to accommodate resource constraints and tailormade software. The Polyjuz framework enables sharin...
168
click to vote
MOBIHOC
2009
ACM
16 years 6 months ago
2009
ACM
Node mobility and end-to-end disconnections in Delay Tolerant Networks (DTNs) greatly impair the effectiveness of data dissemination. Although social-based approaches can be used ...
153
click to vote
KDD
2008
ACM
16 years 6 months ago
2008
ACM
Recommender systems provide users with personalized suggestions for products or services. These systems often rely on Collaborating Filtering (CF), where past transactions are ana...