Sciweavers

14670 search results - page 2844 / 2934
» The Systems Modeling Language for Products and Systems Devel...
Sort
View
FCSC
2010
170views more  FCSC 2010»
13 years 5 months ago
Formal verification of concurrent programs with read-write locks
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
Ming Fu, Yu Zhang, Yong Li
CORR
2011
Springer
162views Education» more  CORR 2011»
12 years 12 months ago
Optimal Power Cost Management Using Stored Energy in Data Centers
Since the electricity bill of a data center constitutes a significant portion of its overall operational costs, reducing this has become important. We investigate cost reduction o...
Rahul Urgaonkar, Bhuvan Urgaonkar, Michael J. Neel...
CORR
2011
Springer
301views Education» more  CORR 2011»
12 years 12 months ago
Human Activity Detection from RGBD Images
Being able to detect and recognize human activities is important for making personal assistant robots useful in performing assistive tasks. The challenge is to develop a system th...
Jaeyong Sung, Colin Ponce, Bart Selman, Ashutosh S...
ICCV
2011
IEEE
12 years 8 months ago
Detailed Reconstruction of 3D Plant Root Shape
We study the 3D reconstruction of plant roots from multiple 2D images. To meet the challenge caused by the delicate nature of thin branches, we make three innovations to cope with...
Ying Zheng, Steve Gu, Herbert Edelsbrunner, Carlo ...
ICCV
2011
IEEE
12 years 8 months ago
Color Photometric Stereo for Multicolored Surfaces
We present a multispectral photometric stereo method for capturing geometry of deforming surfaces. A novel photometric calibration technique allows calibration of scenes containin...
Robert Anderson, Bjorn Stenger, Roberto Cipolla
« Prev « First page 2844 / 2934 Last » Next »