10 search results - page 2 / 2 » Panel: Empirical Validation-What, Why, When, and How |
ICML
2010
IEEE
13 years 7 months ago
2010
IEEE
This paper studies the problem of learning from ambiguous supervision, focusing on the task of learning semantic correspondences. A learning problem is said to be ambiguously supe...
FMSD
1998
13 years 5 months ago
1998
The bitstate hashing, or supertrace, technique was introduced in 1987 as a method to increase the quality of verification by reachability analyses for applications that defeat anal...
CP
1995
Springer
13 years 9 months ago
1995
Springer
The forward checking algorithm for solving constraint satisfaction problems is a popular and successful alternative to backtracking. However, its successhas largely been determined...
JASIS
2006
13 years 6 months ago
2006
Advances in search technology have meant that search systems can now offer assistance to users beyond simply retrieving a set of documents. For example, search systems are now cap...
IEEESP
2010
13 years 4 months ago
2010
Abstract. We devise a model for security investment that reflects dynamic interaction between a defender, who faces uncertainty, and an attacker, who repeatedly targets the weakes...