4520 search results - page 308 / 904 » Algebraic Techniques for Timed Systems |
185
Voted
WSC
2007
15 years 9 months ago
2007
This paper reviews statistical methods for analyzing output data from computer simulations. Specifically, it focuses on the estimation of steady-state system parameters. The esti...
167
click to vote
NAACL
2003
15 years 8 months ago
2003
Large-scale parsing is still a complex and timeconsuming process, often so much that it is infeasible in real-world applications. The parsing system described here addresses this ...
195
Voted
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
A lot of alignment systems providing mappings between the concepts of two ontologies rely on an additional source, called background knowledge, represented most of the time by a th...
208
click to vote
EMSOFT
2005
Springer
16 years 27 days ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
161
Voted
GECCO
2003
Springer
16 years 20 days ago
2003
Springer
It is clear from the study of complex non-linear systems in general, and evolutionary algorithms (EAs) in particular, that there is no single analysis tool or technique capable of ...