3679 search results - page 442 / 736 » Hybrid Semantic Analysis |
156
click to vote
APAL
2002
15 years 6 months ago
2002
A notion called Herbrand saturation is shown to provide the modeltheoretic analogue of a proof-theoretic method, Herbrand analysis, yielding uniform model-theoretic proofs of a nu...
158
click to vote
DIDACTICA
2000
15 years 6 months ago
2000
In computer science methods to aid learning are very important, because abstract models are used frequently. For this conventional teaching methods do not suffice. We have develope...
164
Voted
JIIS
2002
15 years 6 months ago
2002
Education is an application domain in which many research questions from Intelligent Information Systems may prove their worth. We discuss three themes in this editorial: distribut...
293
click to vote
Publication
We present a new approach for activity modelling and anomaly detection based on non-parametric Gaussian Process (GP) models. Specifically, GP regression models are formulated to l...
180
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Independent Component Analysis (ICA) proves to be useful in the analysis of neural activity, as it allows for identification of distinct sources of activity. Applied t...