3742 search results - page 184 / 749 » On the Use of Formal Techniques for Validation |
158
click to vote
APGV
2005
ACM
16 years 1 days ago
2005
ACM
We present a post-processing technique that selectively reduces the salience of distracting regions in an image. Computational models of attention predict that texture variation i...
161
click to vote
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
In this paper, we present a global scheme for encoding/ decoding natural video sequences with partial 3D models. This technique is based on a robust estimation of a constrained de...
157
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Server page technique is commonly used for implementing web application user interfaces. Server pages can represent many similar web pages in a generic form. Yet our previous stud...
147
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
159
click to vote
DEXA
2000
Springer
15 years 10 months ago
2000
Springer
Knowledge ‘decay’ is a measure of the degradation of knowledge integrity. In a unified knowledge representation, data, information and knowledge are all represented in a single...