Sciweavers

3758 search results - page 337 / 752
» A Complete Subsumption Algorithm
Sort
View
CORR
2010
Springer
189views Education» more  CORR 2010»
15 years 5 months ago
Robust PCA via Outlier Pursuit
Singular Value Decomposition (and Principal Component Analysis) is one of the most widely used techniques for dimensionality reduction: successful and efficiently computable, it ...
Huan Xu, Constantine Caramanis, Sujay Sanghavi
172
Voted
IEEECIT
2010
IEEE
15 years 5 months ago
Tessellating Cell Shapes for Geographical Clustering
This paper investigates the energy-saving organization of sensor nodes in large wireless sensor networks. Due to a random deployment used in many application scenarios, much more n...
Jakob Salzmann, Ralf Behnke, Dirk Timmermann
GAMESEC
2010
128views Game Theory» more  GAMESEC 2010»
15 years 4 months ago
Tracking Games in Mobile Networks
Abstract. Users of mobile networks can change their identifiers in regions called mix zones in order to defeat the attempt of third parties to track their location. Mix zones must ...
Mathias Humbert, Mohammad Hossein Manshaei, Julien...
AMAI
2010
Springer
15 years 4 months ago
Efficient approximate verification of B and Z models via symmetry markers
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
Michael Leuschel, Thierry Massart
3DOR
2010
15 years 1 months ago
SHREC'10 Track: Range Scan Retrieval
The 3D Shape Retrieval Contest 2010 (SHREC'10) on range scan retrieval aims at comparing algorithms that match a range scan to complete 3D models in a target database. The qu...
Helin Dutagaci, Afzal Godil, Chun Pan Cheung, Taka...