Sciweavers

1998 search results - page 161 / 400
» Situated Control Rules
Sort
View
ICDM
2005
IEEE
177views Data Mining» more  ICDM 2005»
15 years 10 months ago
Average Number of Frequent (Closed) Patterns in Bernouilli and Markovian Databases
In data mining, enumerate the frequent or the closed patterns is often the first difficult task leading to the association rules discovery. The number of these patterns represen...
Loïck Lhote, François Rioult, Arnaud S...
ASPDAC
2004
ACM
94views Hardware» more  ASPDAC 2004»
15 years 8 months ago
Improving simulation-based verification by means of formal methods
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
Görschwin Fey, Rolf Drechsler
AUSAI
2006
Springer
15 years 8 months ago
Detecting Anomalies and Intruders
Brittleness is a well-known problem in expert systems where a conclusion can be made, which human common sense would recognise as impossible e.g. that a male is pregnant. We have e...
Akara Prayote, Paul Compton
APIN
2004
97views more  APIN 2004»
15 years 4 months ago
FSfRT: Forecasting System for Red Tides
A hybrid neuro-symbolic problem-solving model is presented in which the aim is to forecast parameters of a complex and dynamic environment in an unsupervised way. In situations in ...
Florentino Fdez-Riverola, Juan M. Corchado
IJMMS
1998
137views more  IJMMS 1998»
15 years 4 months ago
A context model for knowledge-intensive case-based reasoning
: Decision-support systems that help solving problems in open and weak theory domains, i.e. hard problems, need improved methods to ground their models in real world situations. Mo...
Pinar Öztürk, Agnar Aamodt