4036 search results - page 446 / 808 » Formal Methods |
161
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
1 We address the problem of vector-valued image regularization with variational methods and PDE's. From the study of existing formalisms, we propose a unifying framework base...
181
click to vote
MKM
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We explore mathematical knowledge in the field of electrical engineering and claim that electrical engineering is a suitable area of application for mathematical knowled...
192
click to vote
WSC
2007
15 years 9 months ago
2007
Importance Sampling is a potentially powerful variance reduction technique to speed up simulations where the objective depends on the occurrence of rare events. However, it is cru...
194
click to vote
CAV
1998
Springer
15 years 11 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...
153
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes an approach for incorporating externally specified aggregate ratings information into certain types of collaborative filtering (CF) methods. For a statistic...