11718 search results - page 2064 / 2344 » Testing database applications |
196
click to vote
HYBRID
2004
Springer
16 years 22 hour ago
2004
Springer
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...
179
click to vote
LOPSTR
2004
Springer
16 years 6 hour ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
194
click to vote
MDM
2004
Springer
16 years 5 hour ago
2004
Springer
In order to fully realize the potential of sensor networks, energy awareness should be incorporated into every stage of the network design and operation. In this paper, we address...
174
click to vote
RE
2004
Springer
15 years 12 months ago
2004
Springer
Jackson’s Problem Frames provide a means of analysing and decomposing problems. They emphasise the world outside the computer helping the developer to focus on the problem domai...
191
click to vote
WABI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Sequence alignment algorithms have a long standing tradition in bioinformatics. In this paper, we formulate an extension to existing local alignment algorithms: local ali...