1397 search results - page 189 / 280 » On the Need for Practical Formal Methods |
153
click to vote
CAV
1998
Springer
15 years 9 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
123
click to vote
CIMAGING
2010
15 years 6 months ago
2010
We address the problem of motion blur removal from an image sequence that was acquired by a sensor with nonlinear response. Motion blur removal in purely linear settings has been ...
126
Voted
OAS
2003
15 years 6 months ago
2003
This paper presents our practical experience of developing an ontology using the EXPLODE method for Value-Added Publishing. Value-Added Publishing is a relatively new area of elec...
142
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
An important issue towards a broader acceptance of answer-set programming (ASP) is the deployment of tools which support the programmer during the coding phase. In particular, met...
148
click to vote
IJCV
2008
15 years 4 months ago
2008
We present a real-time method for detecting deformable surfaces, with no need whatsoever for a priori pose knowledge. Our method starts from a set of wide baseline point matches be...