Sciweavers

664 search results - page 92 / 133
» Describing and Researching of Learning Resources with Ontolo...
Sort
View
FASE
2011
Springer
12 years 11 months ago
Automated Learning of Probabilistic Assumptions for Compositional Reasoning
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
Lu Feng, Marta Z. Kwiatkowska, David Parker
IDA
2002
Springer
13 years 7 months ago
Online classification of nonstationary data streams
Most classification methods are based on the assumption that the data conforms to a stationary distribution. However, the real-world data is usually collected over certain periods...
Mark Last
KDD
2005
ACM
73views Data Mining» more  KDD 2005»
14 years 8 months ago
Using relational knowledge discovery to prevent securities fraud
We describe an application of relational knowledge discovery to a key regulatory mission of the National Association of Securities Dealers (NASD). NASD is the world's largest...
Özgür Simsek, David Jensen, Henry G. Gol...
NN
2000
Springer
148views Neural Networks» more  NN 2000»
13 years 7 months ago
Anxiety-like behavior in rats: a computational model
This work describes a neural network model of the rat exploratory behavior in the elevated plus-maze, a test used to study anxiety. It involves three parameters: drive to explore;...
Cristiane Salum, Silvio Morato, Antônio C. R...
ECML
2005
Springer
14 years 1 months ago
A Model Based Method for Automatic Facial Expression Recognition
Automatic facial expression recognition is a research topic with interesting applications in the field of human-computer interaction, psychology and product marketing. The classi...
Hans van Kuilenburg, Marco Wiering, Marten den Uyl