602 search results - page 30 / 121 » Efficient Model Checking of Applications with Input Output |
WSC
2007
13 years 10 months ago
2007
Quantiles, also known as value-at-risk in financial applications, are important measures of random performance. Quantile sensitivities provide information on how changes in the i...
SIAMSC
2008
13 years 7 months ago
2008
Model order reduction (MOR) is common in simulation, control and optimization of complex dynamical systems arising in modeling of physical processes and in the spatial discretizati...
ACSC
2010
IEEE
13 years 2 months ago
2010
IEEE
Terrains are an essential part of outdoor environments. Terrain models are important for computer games and applications in architecture, urban design and archaeology. A popular a...
ISCAS
2002
IEEE
14 years 19 days ago
2002
IEEE
We have implemented an aspect of learning and memory in the nervous system using analog electronics. Using a simple synaptic circuit we realize networks with Hebbian type adaptati...
PPDP
2010
Springer
13 years 5 months ago
2010
Springer
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...