3318 search results - page 124 / 664 » The Weak Instance Model |
POPL
2008
ACM
14 years 8 months ago
2008
ACM
The proofs of major results of Computability Theory like Rice, Rice-Shapiro or Kleene's fixed point theorem hide more information of what is usually expressed in their respec...
WCRE
2008
IEEE
14 years 2 months ago
2008
IEEE
CAPTCHAs are automated Turing tests used to determine if the end-user is human and not an automated program. Users are asked to read and answer Visual CAPTCHAs, which often appear...
PKDD
2007
Springer
14 years 2 months ago
2007
Springer
Textual patterns have been used effectively to extract information from large text collections. However they rely heavily on textual redundancy in the sense that facts have to be m...
AAAI
2007
13 years 10 months ago
2007
Heuristic search is a leading approach to domain-independent planning. For cost-optimal planning, however, existing admissible heuristics are generally too weak to effectively gui...
EUSFLAT
2007
13 years 9 months ago
2007
Because of their simplicity, risk measures are often employed in financial risk evaluations and related decisions. In fact, the risk measure ρ(X) of a random variable X is a rea...