Sciweavers

2695 search results - page 208 / 539
» The Complexity of Forecast Testing
Sort
View
133
Voted
WSC
2008
15 years 7 months ago
Research and analysis of simulation-based networks through multi-objective visualization
Visualization of individual network events is a crucial part of testing new network designs and analyzing network performance and efficiency. This research designed and developed ...
J. Mark Belue, Stuart H. Kurkowski, Scott R. Graha...
CCCG
2008
15 years 6 months ago
Convex Hull of the Union of Convex Objects in the Plane: an Adaptive Analysis
We prove a tight asymptotic bound of ( log(n/)) on the worst case computational complexity of the convex hull of the union of two convex objects of sizes summing to n requiring o...
Jérémy Barbay, Eric Y. Chen
FORTE
2007
15 years 6 months ago
Composition of Model Programs
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
Margus Veanes, Colin Campbell, Wolfram Schulte
FORTE
2004
15 years 6 months ago
Formal Verification of Web Applications Modeled by Communicating Automata
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
May Haydar, Alexandre Petrenko, Houari A. Sahraoui
ICAD
2004
15 years 6 months ago
Auditory Display of Hyperspectral Colon Tissue Images Using Vocal Synthesis Models
The human ability to recognize, identify and compare sounds based on their approximation of particular vowels provides an intuitive, easily learned representation for complex data...
Ryan J. Cassidy, Jonathan Berger, Kyogu Lee