8828 search results - page 309 / 1766 » Formal methods in practice |
161
click to vote
CVPR
2010
IEEE
16 years 10 days ago
2010
IEEE
The accuracy of optical flow estimation algorithms has been improving steadily as evidenced by results on the Middlebury optical flow benchmark. The typical formulation, however...
201
Voted
FORMATS
2004
Springer
16 years 3 days ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
187
click to vote
IFL
2004
Springer
16 years 2 days ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
184
click to vote
CPM
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We apply the Boyer–Moore technique to compressed pattern matching for text string described in terms of collage system, which is a formal framework that captures variou...
185
click to vote
AMT
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Consistent description and representation method of user interests are required for personalized Web applications. In this paper, we provide a formal definition and the &...