Sciweavers

19174 search results - page 3420 / 3835
» Computer Animation Techniques
Sort
View
FCSC
2010
170views more  FCSC 2010»
15 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
ICIP
2010
IEEE
15 years 4 months ago
Saliency detection using maximum symmetric surround
Detection of visually salient image regions is useful for applications like object segmentation, adaptive compression, and object recognition. Recently, full-resolution salient ma...
Radhakrishna Achanta, Sabine Süsstrunk
IJPP
2010
156views more  IJPP 2010»
15 years 4 months ago
ForestGOMP: An Efficient OpenMP Environment for NUMA Architectures
Exploiting the full computational power of current hierarchical multiprocessor machines requires a very careful distribution of threads and data among the underlying non-uniform ar...
François Broquedis, Nathalie Furmento, Bric...
IOR
2010
71views more  IOR 2010»
15 years 4 months ago
Stochastic Root Finding and Efficient Estimation of Convex Risk Measures
Reliable risk measurement is a key problem for financial institutions and regulatory authorities. The current industry standard Value-at-Risk has several deficiencies. Improved ri...
Jörn Dunkel, Stefan Weber
ADC
2010
Springer
266views Database» more  ADC 2010»
15 years 2 months ago
Counting distinct objects over sliding windows
Aggregation against distinct objects has been involved in many real applications with the presence of duplicates, including real-time monitoring moving objects. In this paper, we ...
Wenjie Zhang, Ying Zhang, Muhammad Aamir Cheema, X...
« Prev « First page 3420 / 3835 Last » Next »