444 search results - page 23 / 89 » Sensitive state-space exploration |
119
click to vote
FMSD
2007
14 years 11 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
Software engineering is plagued by problems associated with unreliable cost estimates. This paper introduces an approach to sensitivity analysis for requirements engineering. It u...
104
click to vote
ICMCS
2009
IEEE
14 years 9 months ago
2009
IEEE
With the explosive growth of web resources, how to mine semantically relevant images efficiently becomes a challenging and necessary task. In this paper, we propose a concept sens...
SI3D
1997
ACM
15 years 4 months ago
1997
ACM
The requirement to change scale frequently is common to many 2D and 3D applications. Users must “zoom in” to examine details and “zoom out” to appreciate the context. This...
ECML
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Designs of micro electro-mechanical devices need to be robust against fluctuations in mass production. Computer experiments with tens of parameters are used to explore th...