2861 search results - page 304 / 573 » Modelling Adaptive Systems in ForSyDe |
184
Voted
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
145
click to vote
CLEAR
2007
Springer
15 years 11 months ago
2007
Springer
We describe the latest version of the SRI-ICSI meeting and lecture recognition system, as was used in the NIST RT-07 evaluations, highlighting improvements made over the last year....
163
click to vote
IJIG
2002
15 years 4 months ago
2002
This paper proposes a new background subtraction method for detecting moving objects from a time-varied background. While background subtraction has traditionally worked well for ...
149
Voted
JUCS
2002
15 years 4 months ago
2002
: Different models and methodologies for the development of hypermedia systems and applications have emerged in the recent years. Software-technical methods and principles enriched...
145
click to vote
SAB
2010
Springer
15 years 3 months ago
2010
Springer
Playing table tennis is a difficult motor task which requires fast movements, accurate control and adaptation to task parameters. Although human beings see and move slower than mos...