2838 search results - page 295 / 568 » Verifying Controlled Components |
106
Voted
TSP
2008
15 years 2 months ago
2008
Since the seminal work of Stein in the 1950s, there has been continuing research devoted to improving the total meansquared error (MSE) of the least-squares (LS) estimator in the l...
152
Voted
SIAMCOMP
2002
15 years 2 months ago
2002
This paper presents a formal design for a novel group communication service targeted for WANs. The service provides Virtual Synchrony semantics. Such semantics facilitate the desi...
138
Voted
ISCI
2008
15 years 2 months ago
2008
In this paper, two modified constrained learning algorithms are proposed to obtain better generalization performance and faster convergence rate. The additional cost terms of the ...
124
Voted
NLE
2007
15 years 2 months ago
2007
We address the problem of improving the efficiency of natural language text input under degraded conditions (for instance, on mobile computing devices or by disabled users), by ta...
117
Voted
DATESO
2010
15 years 18 days ago
2010
Abstract. The today's applications usually form a system of sub-applications, each being responsible for a particular functionality. Hence, the design and maintenance of such ...