Sciweavers

14078 search results - page 2250 / 2816
» Design and Analysis of Computer Algorithms
Sort
View
ISORC
2005
IEEE
16 years 19 days ago
Proof Slicing with Application to Model Checking Web Services
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul
MINENET
2005
ACM
16 years 18 days ago
Learning-based anomaly detection in BGP updates
Detecting anomalous BGP-route advertisements is crucial for improving the security and robustness of the Internet’s interdomain-routing system. In this paper, we propose an inst...
Jian Zhang, Jennifer Rexford, Joan Feigenbaum
SAC
2005
ACM
16 years 18 days ago
A pivot-based index structure for combination of feature vectors
We present a novel indexing schema that provides efficient nearest-neighbor queries in multimedia databases consisting of objects described by multiple feature vectors. The bene...
Benjamin Bustos, Daniel A. Keim, Tobias Schreck
AIRWEB
2005
Springer
16 years 18 days ago
Blocking Blog Spam with Language Model Disagreement
We present an approach for detecting link spam common in blog comments by comparing the language models used in the blog post, the comment, and pages linked by the comments. In co...
Gilad Mishne, David Carmel, Ronny Lempel
MIR
2004
ACM
110views Multimedia» more  MIR 2004»
16 years 14 days ago
Symbolic representation and retrieval of moving object trajectories
Searching moving object trajectories of video databases has been applied to many fields, such as video data analysis, content-based video retrieval, video scene classification. ...
Lei Chen 0002, M. Tamer Özsu, Vincent Oria
« Prev « First page 2250 / 2816 Last » Next »