Sciweavers

4156 search results - page 334 / 832
» Modeling and simulation of retrieving process
Sort
View
119
Voted
ICASSP
2008
IEEE
15 years 7 months ago
Weighted maximum likelihood autoregressive and moving average spectrum modeling
We propose new algorithms for estimating autoregressive (AR), moving average (MA), and ARMA models in the spectral domain. These algorithms are derived from a maximum likelihood a...
Roland Badeau, Bertrand David
157
Voted
NCI
2004
198views Neural Networks» more  NCI 2004»
15 years 2 months ago
A "spiking" bidirectional associative memory for modeling intermodal priming
Starting from a modular artificial neural system modelling the integration of several perceptive stimuli, this article proposes a new implementation of the central module performi...
David Meunier, Hélène Paugam-Moisy
104
Voted
KBSE
2002
IEEE
15 years 5 months ago
Model-Based Tests of Truisms
Software engineering (SE) truisms capture broadlyapplicable principles of software construction. The trouble with truisms is that such general principles may not apply in specifi...
Tim Menzies, David Raffo, Siri-on Setamanit, Ying ...
DATE
2005
IEEE
154views Hardware» more  DATE 2005»
15 years 6 months ago
A Time Slice Based Scheduler Model for System Level Design
Efficient evaluation of design choices, in terms of selection of algorithms to be implemented as hardware or software, and finding an optimal hw/sw design mix is an important re...
Luciano Lavagno, Claudio Passerone, Vishal Shah, Y...
133
Voted
IANDC
2006
117views more  IANDC 2006»
15 years 23 days ago
Statistical probabilistic model checking with a focus on time-bounded properties
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
Håkan L. S. Younes, Reid G. Simmons