5086 search results - page 365 / 1018 » The Power of Comparative Reasoning |
179
click to vote
WSC
1998
15 years 8 months ago
1998
Process simulation is a powerful analysis tool used in many industries. It allows companies to be proactive in determining what strategies will be successful. For this reason, man...
147
click to vote
ICEC
1994
15 years 8 months ago
1994
Combinatorial optimization problems require computing efforts which grow at least exponentially with the problem dimension. Therefore, the use of the remarkable power of massively...
181
Voted
WCE
2007
15 years 7 months ago
2007
— In this paper a new approach to optimize nuclear power plant designs based on global risk reduction are described. In design the focus is on as components quality as redundancy...
171
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...
176
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...