3342 search results - page 243 / 669 » Symbolic Robustness Analysis |
163
click to vote
TVCG
2008
15 years 6 months ago
2008
In this paper we present an algorithm that operates on a triangular mesh and classifies each face of a triangle as either inside or outside. We present three example applications o...
151
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
For a dual-rate control system where the output sampling interval is an integer multiple of the control interval, we propose a model-based inferential control scheme which uses a ...
198
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Modeling of metabolic networks includes tasks such as network assembly, network overview, calculation of metabolic fluxes and testing the robustness of the network. Re...
155
click to vote
CP
1998
Springer
15 years 10 months ago
1998
Springer
We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. Strongly moding and constraint-based mode analysis are tur...
203
click to vote
HT
2010
ACM
15 years 8 months ago
2010
ACM
We investigate the use of autonomically created small-world graphs as a framework for the long term storage of digital objects on the Web in a potentially hostile environment. We ...