2321 search results - page 33 / 465 » Multiple Predicate Learning |
CAV
2012
Springer
13 years 4 days ago
2012
Springer
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...
NIPS
2000
14 years 11 months ago
2000
For many problems which would be natural for reinforcement learning, the reward signal is not a single scalar value but has multiple scalar components. Examples of such problems i...
COOPIS
2003
IEEE
15 years 3 months ago
2003
IEEE
Ontologies in current computer science parlance are computer based resources that represent agreed domain semantics. This paper first introduces ontologies in general and subseque...
DIS
2009
Springer
15 years 4 months ago
2009
Springer
Multiple-instance learning (MIL) is a generalization of the supervised learning problem where each training observation is a labeled bag of unlabeled instances. Several supervised ...
SDM
2008
SIAM
14 years 11 months ago
2008
SIAM
Multiple view data, which have multiple representations from different feature spaces or graph spaces, arise in various data mining applications such as information retrieval, bio...