5409 search results - page 215 / 1082 » Basic Observables for Processes |
163
click to vote
ECSCW
1997
15 years 8 months ago
1997
The World Wide Web is increasingly seen as an attractive technology for the deployment and evaluation of groupware However the underlying architecture of the Web is inherently stat...
172
click to vote
WSC
1996
15 years 8 months ago
1996
Sequential analysis of simulation output is generally accepted as the most efficient way for securing representativeness of samples of collected observations. In this scenario a s...
188
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
This work presents GROUSE (Grassmanian Rank-One Update Subspace Estimation), an efficient online algorithm for tracking subspaces from highly incomplete observations. GROUSE requi...
176
click to vote
LISP
2008
15 years 6 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
169
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
Switched linear systems have a long history of interest in the control community, and have attracted considerable attention recently because they are not only practically relevant...