4276 search results - page 239 / 856 » Techniques for Empirical Validation |
143
click to vote
ASIAN
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
149
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...
158
click to vote
ISMIR
2003
Springer
15 years 12 months ago
2003
Springer
This paper outlines the findings-to-date of a project to assist in the efforts being made to establish a TREC-like evaluation paradigm within the Music Information Retrieval (MIR)...
176
click to vote
RSP
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a rapid prototyping technique that focuses on transition management in hybrid systems. In particular, it integrates hybrid modeling and simulation (for specify...
139
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we illustrate a methodology for modeling and analyzing flexible feeders using generalized semi-Markov process (GSMP) models. Working through the simple case consisti...