5154 search results - page 188 / 1031 » Computing and using residuals in time series models |
208
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
189
click to vote
ISCAS
2005
IEEE
16 years 24 days ago
2005
IEEE
— Simulated Evolution (SimE) is a sound stochastic approximation algorithm based on the principles of adaptation. If properly engineered it is possible for SimE to reach nearopti...
192
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
We consider experiments to measure the quality of a web search algorithm based on how much total time users take to complete assigned search tasks using that algorithm. We first ...
168
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
Behavioral Signal Processing aims at automating behavioral coding schemes such as those prevalent in psychology and mental health research. This paper describes methods to quantif...
215
click to vote
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Hyperspectral imagery is a new type of high-dimensional image data which is now used in many Earth-based and planetary exploration applications. Many efforts have been d...