1204 search results - page 107 / 241 » Hybrid Probabilistic Programs |
118
click to vote
DAC
2004
ACM
15 years 4 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
99
Voted
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
DFG
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
126
click to vote
HYBRID
2004
Springer
15 years 6 months 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...
86
Voted
INFOVIS
2003
IEEE
15 years 6 months ago
2003
IEEE
In visualising multidimensional data, it is well known that different types of data require different types of algorithms to process them. Data sets might be distinguished accordi...