2989 search results - page 143 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
IJIIDS
2007
14 years 10 months ago
2007
: We analyse 18 evaluation methods for learning algorithms and classifiers, and show how to categorise these methods with the help of an evaluation method taxonomy based on several...
136
click to vote
CVPR
2012
IEEE
13 years 12 days ago
2012
IEEE
We introduce a method to repair an image which has been stamped by an identigram or a watermark. Our method is based on the cross-channel correlation which assures the co-occurren...
ICECCS
2005
IEEE
15 years 3 months ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
CAV
1998
Springer
15 years 2 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
IJCV
1998
14 years 9 months ago
1998
This paper formulates the optic flow problem as a set of over-determined simultaneous linear equations. It then introduces and studies two new robust optic flow methods. The fir...