3653 search results - page 153 / 731 » Learning of Partial Languages |
100
Voted
ICCL
1992
IEEE
15 years 7 months ago
1992
IEEE
rogram. Our abstract interpretation algorithm may then be used to perform static type analysis. The analysis has applications in detecting probable errors in the PostScript code or...
119
Voted
DEBU
1999
15 years 3 months ago
1999
WOL is a Horn-clause language for specifying transformations involving complex types and recursive data-structures. Its declarative syntax makes programs easy to modify in respons...
112
Voted
SIGECOM
2009
ACM
15 years 10 months ago
2009
ACM
Policy teaching considers a Markov Decision Process setting in which an interested party aims to influence an agent’s decisions by providing limited incentives. In this paper, ...
169
Voted
ACCV
1998
Springer
15 years 7 months ago
1998
Springer
This paper describes a method for recognizing partially occluded objects under different levels of illumination brightness by using the eigenspace analysis. In our previous work, w...
155
Voted
METMBS
2003
15 years 4 months ago
2003
Causal Probabilistic Networks (CPNs), (a.k.a. Bayesian Networks, or Belief Networks) are well-established representations in biomedical applications such as decision support system...