3790 search results - page 93 / 758 » Advances in Mixture Models |
104
Voted
MTV
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
116
Voted
EURODAC
1994
IEEE
15 years 4 months ago
1994
IEEE
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
106
Voted
IJIT
2004
15 years 2 months ago
2004
This paper reports work done to improve the modeling of complex processes when only small experimental data sets are available. Neural networks are used to capture the nonlinear un...
ECRTS
2008
IEEE
15 years 7 months ago
2008
IEEE
84
Voted
ICALT
2007
IEEE
2007
IEEE
Towards Advanced Learner Modeling: Discussions on Quasi Real-time Adaptation with Physiological Data
15 years 7 months ago
In this paper, we discuss the use of physiological data for quasi real-time adaptation in ITS. We present preliminary results where we analyze learners’ reactions while using a ...