1054 search results - page 202 / 211 » From a Verified Kernel towards Verified Systems |
GIS
2003
ACM
14 years 8 months ago
2003
ACM
With the proliferation of mobile computing, the ability to index efficiently the movements of mobile objects becomes important. Objects are typically seen as moving in two-dimensi...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
This paper shares our experience in designing a web crawler that can download billions of pages using a single-server implementation and models its performance. We show that with ...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
Semantic similarity measures play important roles in information retrieval and Natural Language Processing. Previous work in semantic web-related applications such as community mi...
KDD
2008
ACM
14 years 7 months ago
2008
ACM
In some applications such as filling in a customer information form on the web, some missing values may not be explicitly represented as such, but instead appear as potentially va...
KDD
2001
ACM
14 years 7 months ago
2001
ACM
Web Usage Mining (WUM), a natural application of data mining techniques to the data collected from user interactions with the web, has greatly concerned both academia and industry ...