Sciweavers

6769 search results - page 1181 / 1354
» A new concept of robustness
Sort
View
CCS
2011
ACM
14 years 6 months ago
Fortifying web-based applications automatically
Browser designers create security mechanisms to help web developers protect web applications, but web developers are usually slow to use these features in web-based applications (...
Shuo Tang, Nathan Dautenhahn, Samuel T. King
CONCUR
2011
Springer
14 years 6 months ago
Reasoning about Threads with Bounded Lock Chains
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
Vineet Kahlon
CVPR
2009
IEEE
17 years 1 months ago
Observe Locally, Infer Globally: a Space-Time MRF for Detecting Abnormal Activities with Incremental Updates
We propose a space-time Markov Random Field (MRF) model to detect abnormal activities in video. The nodes in the MRF graph correspond to a grid of local regions in the video fra...
Jaechul Kim (University of Texas at Austin), Krist...
ICCV
2009
IEEE
1849views Computer Vision» more  ICCV 2009»
16 years 11 months ago
Simultaneous Color Consistency and Depth Map Estimation for Radiometrically Varying Stereo Images
In this paper, we propose a new method that infers accurate depth maps and color-consistent images between radiometrically varying stereo images, simultaneously. In general, stereo...
Yong Seok Heo (Seoul National University), Kyoung ...
CVPR
2008
IEEE
16 years 11 months ago
Illumination and Camera Invariant Stereo Matching
Color information can be used as a basic and crucial cue for finding correspondence in a stereo matching algorithm. In a real scene, however, image colors are affected by various g...
Yong Seok Heo (Seoul National University), Kyoung ...
« Prev « First page 1181 / 1354 Last » Next »