65 search results - page 4 / 13 » Online B-tree Merging |
CAV
2005
Springer
14 years 27 days ago
2005
Springer
ORCHIDS is an intrusion detection tool based on techniques for fast, on-line model-checking. Temporal formulae are taken from a temporal logic tailored to the description of intrus...
STACS
2010
Springer
14 years 2 months ago
2010
Springer
We study the online clustering problem where data items arrive in an online fashion. The algorithm maintains a clustering of data items into similarity classes. Upon arrival of v, ...
CVPR
2003
IEEE
14 years 9 months ago
2003
IEEE
We propose an efficient online real-time solution for singlecamera 3?D tracking of rigid objects that can handle large camera displacements, drastic aspect changes, and partial oc...
CHI
2008
ACM
13 years 9 months ago
2008
ACM
In this paper we describe the development of a platform that enables us to systematically study online social networks alongside their real-world counterparts. Our system, entitle...
WISE
2009
Springer
14 years 2 months ago
2009
Springer
Results clustering in Web Searching is useful for providing users with overviews of the results and thus allowing them to restrict their focus to the desired parts. However, the ta...