1253 search results - page 71 / 251 » Exploration Testing |
131
Voted
FORMATS
2006
Springer
15 years 6 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
NIPS
2003
15 years 3 months ago
2003
The bootstrap has become a popular method for exploring model (structure) uncertainty. Our experiments with artificial and realworld data demonstrate that the graphs learned from...
119
Voted
SCANGIS
2003
15 years 3 months ago
2003
The paper describes a tool designed within the first stage of the European project INVISIP in order to explore geographical metadata in the site planning process. A visual data mi...
115
click to vote
GIS
2006
ACM
15 years 2 months ago
2006
ACM
The paper is written jointly by two parties, computer scientists specializing in geovisualization and experts in forestry, who cooperated within a joint project. The authors tell ...
151
Voted
PRL
2002
15 years 2 months ago
2002
The "fly algorithm" is a fast artificial evolution-based technique devised for the exploration of parameter space in pattern recognition applications. In the application...