276 search results - page 9 / 56 » Simulation of modular building construction |
STOC
2005
ACM
14 years 7 months ago
2005
ACM
We present new explicit constructions of deterministic randomness extractors, dispersers and related objects. We say that a distribution X on binary strings of length n is a -sour...
CEC
2008
IEEE
14 years 2 months ago
2008
IEEE
—This paper describes and tests the utility of a meta Grammar approach to Grammatical Evolution (GE). Rather than employing a fixed grammar as is the case with canonical GE, und...
IIWAS
2004
13 years 9 months ago
2004
: Today, the development of new mobile services is associated with high costs and risks. The main aim of our research is to make this development process faster and more efficient ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
ISAS
2004
Springer
14 years 26 days ago
2004
Springer
Analytical and simulative modeling for dependability and performance evaluation has been proven to be a useful and versatile approach in all the phases of the system life cycle. I...