3342 search results - page 432 / 669 » Symbolic Robustness Analysis |
168
click to vote
RE
2002
Springer
15 years 6 months ago
2002
Springer
Posing speculative questions about a software system is an important yet often unsupported activity. Current impact analysis techniques tend to focus upon the functionality of the...
149
click to vote
SIAMADS
2010
15 years 1 months ago
2010
Abstract. We consider a novel asymptotic limit of model equations proposed to describe the formation of localized states in a vertically vibrated layer of granular material or visc...
185
click to vote
ACL
2011
14 years 10 months ago
2011
We develop a novel approach to the semantic analysis of short text segments and demonstrate its utility on a large corpus of Web search queries. Extracting meaning from short text...
174
click to vote
IMC
2005
ACM
16 years 7 days ago
2005
ACM
Anomaly detection is a first and important step needed to respond to unexpected problems and to assure high performance and security in IP networks. We introduce a framework and ...
209
click to vote
SSIAI
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we propose a new probabilistic relaxation framework to perform robust multiple motion estimation and segmentation from a sequence of images. Our approach uses displa...