6960 search results - page 390 / 1392 » Continuity Analysis of Programs |
138
click to vote
FM
2001
Springer
15 years 9 months ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
123
Voted
ECML
1997
Springer
15 years 9 months ago
1997
Springer
We investigate an inherent limitation of top-down decision tree induction in which the continuous partitioning of the instance space progressively lessens the statistical support o...
125
click to vote
APN
1993
Springer
15 years 9 months ago
1993
Springer
This paper introduces an efficient numerical algorithm for transient analysis of deterministic and stochastic Petri nets (DSPNs) and other discrete-event stochastic systems with ...
144
click to vote
SETP
2007
15 years 6 months ago
2007
Requirement analysis continues to be one of the most critical and challenging phases during the software development process. Many object-oriented methodologies identify three pri...
132
click to vote
CG
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents a tool for the visual analysis of fitness performance data, such as running speed and heart rate. The tool, called MOPET Analyzer, provides a set of interacti...