3495 search results - page 180 / 699 » On the random satisfiable process |
131
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
This study examines the utility of grammatical ephemeral random constants, and conducts an analysis of the preferences of evolutionary search when a number of different grammar ba...
133
click to vote
HICSS
2000
IEEE
15 years 9 months ago
2000
IEEE
By conducting simulations, we show that the structure of the personal networks significantly influences the diffusion processes in network effect markets like the software market....
135
click to vote
WSC
1998
15 years 6 months ago
1998
The manufacture of pre-cast concrete building elements consists of a few manufacturing steps. The process itself is simple, but the characteristics of the business are quite rando...
127
Voted
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
This work addresses the issue of design optimization for faulttolerant hard real-time systems. In particular, our focus is on the handling of transient faults using both checkpoin...
136
click to vote
FCT
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...