3639 search results - page 630 / 728 » Provenance as Dependency Analysis |
TOCL
2011
14 years 4 months ago
2011
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the s...
IJKESDP
2010
14 years 4 months ago
2010
: A neuro-fuzzy-combiner (NFC) is proposed to design an efficient multiple classifier system (MCS) with an aim to have an effective solution scheme for difficult classification pro...
INTERSPEECH
2010
14 years 4 months ago
2010
The phenomenon of anticipatory coarticulation provides a basis for the observed asynchrony between the acoustic and visual onsets of phones in certain linguistic contexts. This ty...
JMLR
2010
14 years 4 months ago
2010
Supervised learning from multiple labeling sources is an increasingly important problem in machine learning and data mining. This paper develops a probabilistic approach to this p...
MA
2010
Springer
14 years 4 months ago
2010
Springer
This work proposes to generalize the method of cokriging when data are spatially sampled curves. A spatial functional linear model is constructed including spatial dependencies be...