Software architectures are high-level design representations of software systems that focus on composition of software components and how those components interact. Software tures...
Jason E. Robbins, David M. Hilbert, David F. Redmi...
— Multi-channel combustion data, consisting of gas pressure and two combustion chamber luminosity measurements, are investigated in the prediction of combustion instability. Wave...
Lei A. Clifton, Hujun Yin, David A. Clifton, Yang ...
In this paper a visual tool for comparing different mountain pine-beetle management approaches is presented. This comparison tool gives the users the possibility of viewing their ...
Angela Cristina Duta, M. Sheelagh T. Carpendale, K...
Despite the significant progress to extend Markov Decision Processes (MDP) to cooperative multi-agent systems, developing approaches that can deal with realistic problems remains ...
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...