Sciweavers

5615 search results - page 147 / 1123
» Active Learner Modelling
Sort
View
130
Voted
KBSE
2002
IEEE
15 years 8 months ago
What Makes Finite-State Models More (or Less) Testable?
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
David Owen, Tim Menzies, Bojan Cukic
142
Voted
ICCV
2003
IEEE
16 years 5 months ago
Recognition of Group Activities using Dynamic Probabilistic Networks
Dynamic Probabilistic Networks (DPNs) are exploited for modelling the temporal relationships among a set of different object temporal events in the scene for a coherent and robust...
Shaogang Gong, Tao Xiang
123
Voted
ICCD
2004
IEEE
106views Hardware» more  ICCD 2004»
16 years 18 days ago
Gate Sizing and V{t} Assignment for Active-Mode Leakage Power Reduction
Leakage current is a key factor in IC power consumption even in the active operating mode. We investigate the simultaneous optimization of gate size and threshold voltage to reduc...
Feng Gao, John P. Hayes
143
Voted
FLAIRS
2008
15 years 6 months ago
Learning Continuous Action Models in a Real-Time Strategy Environment
Although several researchers have integrated methods for reinforcement learning (RL) with case-based reasoning (CBR) to model continuous action spaces, existing integrations typic...
Matthew Molineaux, David W. Aha, Philip Moore
153
Voted
AUSAI
2008
Springer
15 years 5 months ago
Propositionalisation of Profile Hidden Markov Models for Biological Sequence Analysis
Hidden Markov Models are a widely used generative model for analysing sequence data. A variant, Profile Hidden Markov Models are a special case used in Bioinformatics to represent,...
Stefan Mutter, Bernhard Pfahringer, Geoffrey Holme...