Sciweavers

1221 search results - page 180 / 245
» Two Consistency Results on Set Mappings
Sort
View
TACAS
2012
Springer
288views Algorithms» more  TACAS 2012»
14 years 1 months ago
Reduction-Based Formal Analysis of BGP Instances
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gu...
CVPR
2009
IEEE
17 years 1 months ago
Isometric Registration of Ambiguous and Partial Data
This paper introduces a new shape matching algorithm for computing correspondences between 3D surfaces that have undergone (approximately) isometric deformations. The new approach ...
Art Tevs (Max Planck Institute Informatik), Martin...
ICCV
2001
IEEE
16 years 8 months ago
Modelling Faces Dynamically across Views and Over Time
A comprehensive novel multi-view dynamic face model is presented in this paper to address two challenging problems in face recognition and facial analysis: modelling faces with la...
Yongmin Li, Shaogang Gong, Heather M. Liddell
ICDE
2009
IEEE
134views Database» more  ICDE 2009»
16 years 8 months ago
Non-Exposure Location Anonymity
Location cloaking has been proposed and well studied to protect user privacy. It blurs the accurate user location (i.e., a point with coordinates) and replaces it with a well-shape...
Haibo Hu, Jianliang Xu
ICDE
2008
IEEE
161views Database» more  ICDE 2008»
16 years 7 months ago
Trajectory Outlier Detection: A Partition-and-Detect Framework
Outlier detection has been a popular data mining task. However, there is a lack of serious study on outlier detection for trajectory data. Even worse, an existing trajectory outlie...
Jae-Gil Lee, Jiawei Han, Xiaolei Li