Sciweavers

3914 search results - page 78 / 783
» Automating SLA modeling
Sort
View
CVPR
2003
IEEE
14 years 9 months ago
Automated Feature-Based Range Registration of Urban Scenes of Large Scale
We are building a system that can automatically acquire 3D range scans and 2D images to build geometrically and photometrically correct 3D models of urban environments. A major bo...
Ioannis Stamos, Marius Leordeanu
CSFW
2009
IEEE
14 years 2 months ago
ASPIER: An Automated Framework for Verifying Security Protocol Implementations
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
Sagar Chaki, Anupam Datta
ISVC
2007
Springer
14 years 1 months ago
Automated Scene-Specific Selection of Feature Detectors for 3D Face Reconstruction
In comparison with 2D face images, 3D face models have the advantage of being illumination and pose invariant, which provides improved capability of handling changing environments ...
Yi Yao, Sreenivas R. Sukumar, Besma R. Abidi, Davi...
AIPT
1993
13 years 9 months ago
Automating the OSI to Internet Management Conversion Through the Use of an Object-Oriented Platform
OSI provides a powerful object-oriented management model that is infinitely scalable and extensible but is only now beginning to see widespread support. The Internet model has fo...
George Pavlou, Saleem N. Bhatti, Graham Knight
QEST
2010
IEEE
13 years 5 months ago
Automating the Mean-Field Method for Large Dynamic Gossip Networks
Abstract--We investigate an abstraction method, called meanfield method, for the performance evaluation of dynamic networks with pairwise communication between nodes. It allows us ...
Rena Bakhshi, Jörg Endrullis, Stefan Endrulli...