3082 search results - page 161 / 617 » Deviation Analysis: A New Use of Model Checking |
161
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
This paper proposes a robust estimation and validation framework for characterizing local structures in a positive multi-variate continuous function approximated by a Gaussian-base...
142
click to vote
CSREAEEE
2006
15 years 7 months ago
2006
- Web-based information systems (WBIS) include the website part and the system part, and easy-to-use website is particular critical to the success of WBIS. This paper argues that t...
156
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The main aim of this study was to develop and implement an algorithm for the rapid, accurate and automated identification of paths leading from buried protein clefts, ...
171
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
Many of today's web applications are built on frameworks that include sophisticated defenses against malicious adversaries. However, mistakes in the way developers deploy tho...
150
click to vote
AAAI
2007
15 years 8 months ago
2007
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...