2702 search results - page 391 / 541 » Practically Applicable Formal Methods |
129
click to vote
PKDD
2010
Springer
15 years 18 days ago
2010
Springer
Abstract. One solution to the lack of label problem is to exploit transfer learning, whereby one acquires knowledge from source-domains to improve the learning performance in the t...
126
Voted
ECCC
2010
15 years 23 days ago
2010
Applications based on outsourcing computation require guarantees to the data owner that the desired computation has been performed correctly by the service provider. Methods based...
123
Voted
ICIP
2004
IEEE
16 years 3 months ago
2004
IEEE
The dictionary approach to signal and image processing has been massively investigated in the last two decades, proving very attractive for a wide range of applications. The effec...
206
Voted
CP
2009
Springer
16 years 2 months ago
2009
Springer
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
92
Voted
KDD
2006
ACM
16 years 2 months ago
2006
ACM
Ordering and ranking items of different types are important tasks in various applications, such as query processing and scientific data mining. A total order for the items can be ...