3342 search results - page 102 / 669 » Symbolic Robustness Analysis |
166
click to vote
ICDCSW
2005
IEEE
15 years 11 months ago
2005
IEEE
When computer intrusions occur, one of the most costly, time-consuming, and human-intensive tasks is the analysis and recovery of the compromised system. At a time when the cost o...
142
click to vote
PC
1998
15 years 5 months ago
1998
In this paper, we present several tools for analyzing parallel programs. The tools are built on top of a compiler infrastructure, which provides advanced capabilities for symbolic...
198
click to vote
FGR
2011
IEEE
14 years 9 months ago
2011
IEEE
— We introduce a fast and robust subspace-based approach to appearance-based object tracking. The core of our approach is based on Fast Robust Correlation (FRC), a recently propo...
158
click to vote
ICDAR
2009
IEEE
16 years 20 days ago
2009
IEEE
We present a spatially variant framework for correcting uneven illumination and color cast, problems commonly associated with digitized books. The core of our method is a color im...
113
click to vote
COLING
1994
15 years 7 months ago
1994
A consistent text contains rich inforlnation for resolving mnbiguities within its sentences. Even simple syntactic information such as word occurrence and collocation patterns, wh...