5154 search results - page 287 / 1031 » Computing and using residuals in time series models |
183
Voted
AAAI
2007
15 years 9 months ago
2007
In multi-agent systems, agents need to share information in order to make good decisions. Who does what in order to achieve this matters a lot. The assignment of responsibility in...
212
Voted
DAC
2007
ACM
16 years 8 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...
222
click to vote
GLVLSI
2000
IEEE
15 years 12 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
198
click to vote
FORMATS
2009
Springer
16 years 2 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
202
Voted
ARTS
1997
Springer
15 years 11 months ago
1997
Springer
We introduce a mathematical model of the timed behaviour of components with streams as input and output using a hierarchy of timing concepts. We distinguish non-timed streams, dis...