8828 search results - page 1555 / 1766 » Formal methods in practice |
149
click to vote
PAMI
1998
15 years 4 months ago
1998
—This paper concerns an efficient algorithm for learning in the limit a special type of regular languages called strictly locally testable languages from positive data, and its a...
124
Voted
RC
2002
15 years 4 months ago
2002
Given an approximate solution to a nonlinear system of equations at which the Jacobi matrix is nonsingular, and given that the Jacobi matrix is continuous in a region about this ap...
139
Voted
SIGMETRICS
2002
ACM
15 years 4 months ago
2002
ACM
Network tomography is a process for inferring "internal" link-level delay and loss performance information based on end-to-end (edge) network measurements. These methods...
130
click to vote
TC
2002
15 years 4 months ago
2002
To improve the scalability of the Web it is common practice to apply caching and replication techniques. Numerous strategies for placing and maintaining multiple copies of Web doc...
189
click to vote
TIP
2002
15 years 4 months ago
2002
Abstract--Additive noise removal from a given signal is an important problem in signal processing. Among the most appealing aspects of this field are the ability to refer it to a w...