2926 search results - page 460 / 586 » Document Analysis |
138
click to vote
SAFECOMP
2004
Springer
15 years 9 months ago
2004
Springer
Safety cases embody arguments that demonstrate how safety properties of a system are upheld. Such cases implicitly document the barriers that must exist between hazards and vulnera...
143
click to vote
HICSS
2007
IEEE
15 years 5 months ago
2007
IEEE
We describe the evolution of a statistical survey design visual language from a standalone design-time modelling language into an environment supporting design, coordination, exec...
136
click to vote
LREC
2010
15 years 5 months ago
2010
We present CAVaT, a tool that performs Corpus Analysis and Validation for TimeML. CAVaT is an open source, modular checking utility for statistical analysis of features specific t...
135
click to vote
IPM
2007
15 years 3 months ago
2007
We propose a new method for using anaphoric information in Latent Semantic Analysis (lsa), and discuss its application to develop an lsa-based summarizer which achieves a signifi...
158
click to vote
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...