7340 search results - page 408 / 1468 » The Behavior of Tutoring Systems |
154
click to vote
SCL
2008
15 years 6 months ago
2008
Abstract-- In this work, we focus on a class of nonlinear asynchronous systems defined by two different modes of operation, one stable and the other one unstable. The switching bet...
188
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
152
click to vote
SMC
2010
IEEE
15 years 5 months ago
2010
IEEE
— Enhancement of dining environment by information technology is explored in this paper. A table system to recommend additional dishes according to the dining status is introduce...
254
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
This paper proposes an optimization strategy which is based on neural networks and genetic algorithms to calculate the optimal values of gas injection rate and oil rate for oil pro...
181
Voted
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, we analyze a general multiple-microphone and singleloudspeaker system, where an adaptive algorithm is used to cancel acoustic feedback/echo and a beamformer process...