Sciweavers

2869 search results - page 184 / 574
» The Inference Problem: A Survey
Sort
View
67
Voted
CHI
2003
ACM
16 years 1 months ago
Looks good to me
The evaluation of grammar inference systems is clearly a non-trivial task, as it is possible to have more than one correct grammar for a given language. The `looks good to me'...
Linda Roberts, Leigh Rankin, Edward A. Silver, Dar...
ICMCS
2005
IEEE
94views Multimedia» more  ICMCS 2005»
15 years 6 months ago
Fusion of Multiple Asynchronous Information Sources for Event Detection in Soccer Video
Our previous research shows that the use of multiple sources of information based on intrinsic AV features and external knowledge helps to detect events in soccer video. To make t...
Huaxin Xu, Tat-Hoe Fong, Tat-Seng Chua
POPL
1993
ACM
15 years 4 months ago
Type Checking Type Classes
We study the type inference problem for a system with type classes as in the functional programminglanguage Haskell. Type classes are an extension of ML-style polymorphismwith ove...
Tobias Nipkow, Christian Prehofer
89
Voted
IJCAI
2003
15 years 2 months ago
Weak Conditional Logics of Normality
A default conditional α → β has most often been informally interpreted as a defeasible version of a classical conditional, usually the material conditional. That is, the intui...
James P. Delgrande
ECCC
2008
117views more  ECCC 2008»
15 years 27 days ago
The complexity of learning SUBSEQ(A)
Higman essentially showed that if A is any language then SUBSEQ(A) is regular, where SUBSEQ(A) is the language of all subsequences of strings in A. Let s1, s2, s3, . . . be the sta...
Stephen A. Fenner, William I. Gasarch, Brian Posto...