1096 search results - page 100 / 220 » Abstract Canonical Inference |
101
click to vote
JMLR
2010
14 years 4 months ago
2010
We propose a class of Bayesian networks appropriate for structured prediction problems where the Bayesian network's model structure is a function of the predicted output stru...
JMS
2010
14 years 4 months ago
2010
Abstract Health examinations play a key role in preventive medicine. We propose a health examination system named Health Examination Automatic Logic System (HEALS) to assist clinic...
ESOP
2003
Springer
15 years 3 months ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
CTRS
1990
15 years 2 months ago
1990
Completion procedures, originated from the seminal work of Knuth and Bendix, are wellknown as procedures for generating confluent rewrite systems, i.e. decision procedures for al ...
JELIA
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We consider an algorithmic approach for revising inconsistent data and restoring its consistency. This approach detects the\spoiled" part of the data (i.e., the set ...