11374 search results - page 115 / 2275 » A System Demonstration of ST-TCP |
141
click to vote
ECTEL
2010
Springer
15 years 6 months ago
2010
Springer
As Technology Enhanced Learning (TEL) systems become more essential to education there is an increasing need for their creators to reduce risk and to design for success. We argue t...
153
click to vote
AUTOMATICA
2010
15 years 6 months ago
2010
This paper presents three novel Moving Horizon Estimation (MHE) methods for discrete-time partitioned linear systems, i.e. systems decomposed into coupled subsystems with non-over...
160
click to vote
AUTOMATICA
2010
15 years 6 months ago
2010
: Estimation of 3D position information from 2D images in computer vision systems can be formulated as a state estimation problem for a nonlinear perspective dynamic system. The mu...
175
click to vote
CLUSTER
2008
IEEE
15 years 6 months ago
2008
IEEE
We investigate operating system noise, which we identify as one of the main reasons for a lack of synchronicity in parallel applications. Using a microbenchmark, we measure the no...
155
click to vote
ENTCS
2008
15 years 6 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...