3868 search results - page 238 / 774 » Open Systems in TLA |
171
click to vote
AUTOMATICA
2005
15 years 7 months ago
2005
We study statistical consistency of two recently proposed subspace identification algorithms for closed-loop systems. These algorithms een as implementations of an abstract state-...
220
click to vote
CIDU
2010
15 years 5 months ago
2010
Networks have been used to describe and model a wide range of complex systems, both natural as well as man-made. One particularly interesting application in the earth sciences is t...
251
click to vote
ICDAR
2009
IEEE
15 years 5 months ago
2009
IEEE
Performance evaluation of document recognition systems is a difficult and practically important problem. Issues arise in defining requirements, in characterizing the system's...
222
click to vote
CC
2001
Springer
15 years 11 months ago
2001
Springer
SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. The well-known visitor pattern technique is commonly used fo...
169
click to vote
PLPV
2010
ACM
15 years 9 months ago
2010
ACM
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic conse...