Sciweavers

1886 search results - page 326 / 378
» Verifying and validating a simulation model
Sort
View
CVPR
2011
IEEE
2153views Computer Vision» more  CVPR 2011»
14 years 5 months ago
The Light-Path Less Traveled
This paper extends classical object pose and relative camera motion estimation algorithms for imaging sensors sampling the scene through light-paths. Many algorithms in multi-view...
Srikumar Ramalingam, Sofien Bouaziz, Peter Sturm, ...
JCST
2010
189views more  JCST 2010»
14 years 4 months ago
Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving
Probabilistic techniques are widely used in the analysis of algorithms to estimate the computational complexity of algorithms or a computational problem. Traditionally, such analys...
Osman Hasan, Sofiène Tahar
JFR
2010
119views more  JFR 2010»
14 years 4 months ago
Unsupervised classification of dynamic obstacles in urban environments
This paper presents a solution to the problem of unsupervised classification of dynamic obstacles in urban environments. A track-based model is introduced for the integration of 2...
Roman Katz, Juan Nieto, Eduardo Mario Nebot
TIP
2010
151views more  TIP 2010»
14 years 4 months ago
Camera Scheduling and Energy Allocation for Lifetime Maximization in User-Centric Visual Sensor Networks
We explore camera scheduling and energy allocation strategies for lifetime optimization in image sensor networks. For the application scenarios that we consider, visual coverage ov...
Chao Yu, Gaurav Sharma
INFOCOM
2011
IEEE
14 years 1 months ago
Channel allocation in wireless data center networks
—Unbalanced traffic demands of different data center applications are an important issue in designing Data center networks (DCNs). In this paper, we present our exploratory inve...
Yong Cui, Hongyi Wang, Xiuzhen Cheng