12981 search results - page 2088 / 2597 » Model Checking (Abstract) |
176
click to vote
BILDMED
2009
15 years 8 months ago
2009
Abstract. Reflection of sound waves, due to acoustic impedance mismatch at the interface of two media, is the principal physical property which allows visualization with ultrasound...
206
click to vote
BPM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Continuous optimization of business process execution including its adaptation to changes within the market environment or the company itself becomes increasingly importa...
191
click to vote
CCGRID
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract--Reducing energy consumption for high end computing can bring various benefits such as, reduce operating costs, increase system reliability, and environment respect. This ...
195
click to vote
CEC
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract-- Recently, the research on quantum-inspired evolutionary algorithms (QEA) has attracted some attention in the area of evolutionary computation. QEA use a probabilistic re...
210
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Control engineering is a field of major industrial importance as it offers principles for engineering controllable physical devices, such as cell phones, television sets,...