128 search results - page 19 / 26 » Class Invariants by the CRT Method |
146
click to vote
ACL2
2006
ACM
15 years 5 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
92
Voted
AGILEDC
2006
IEEE
15 years 8 months ago
2006
IEEE
Design by contract is a practical methodology for developing code together with its specification. The contract consists of class invariants and method preand postconditions. As ...
112
click to vote
CVPR
2008
IEEE
16 years 3 months ago
2008
IEEE
Many applications in computer vision and pattern recognition involve drawing inferences on certain manifoldvalued parameters. In order to develop accurate inference algorithms on ...
96
Voted
ICIP
1999
IEEE
16 years 3 months ago
1999
IEEE
Compound (or mixed) document images contain graphic or textual content along with pictures. They are a very common form of documents, found in magazines, brochures, web-sites etc....
123
click to vote
BMVC
1998
15 years 3 months ago
1998
In this paper, we discuss a method for representing and matching planar curves. The technique is based on using calculations from concentric circles to represent each curve by two...