846 search results - page 66 / 170 » Transforming structures by set interpretations |
GECCO
2005
Springer
14 years 3 months ago
2005
Springer
Any computational approach to design, including the use of evolutionary algorithms, requires the transformation of the domain-specific knowledge into a formal design representatio...
EJIS
2010
13 years 10 months ago
2010
In the last few decades, several studies have found the same technology implemented in highly similar organizational settings to be associated with very different consequences for...
SRDS
2006
IEEE
14 years 4 months ago
2006
IEEE
Failure models characterise the expected component failures in fault-tolerant computing. In the context of distributed systems, a failure model usually consists of two parts: a fu...
DATE
2004
IEEE
14 years 1 months ago
2004
IEEE
Bounded model checking (BMC) has gained widespread industrial use due to its relative scalability. Its exhaustiveness over all valid input vectors allows it to expose arbitrarily ...
TIP
2011
13 years 5 months ago
2011
We propose a prediction technique that is geared toward forming successful estimates of a signal based on a correlated anchor signal that is contaminated with complex interference...