In our research we are developing methodologiesand tools to permit stochastic analyses of CSP-based system specifications. In this regard, we have been developing morphismsbetween...
Krishna M. Kavi, Frederick T. Sheldon, Behrooz Shi...
In this paper, a grey neuro-adaptive control algorithm is suggested for Antilock Braking Systems (ABS). The concept of grey system theory, which has a certain prediction capabilit...
Erdal Kayacan, Yesim Oniz, Okyay Kaynak, Andon V. ...
Many common web tasks can be automated by algorithms that are able to identify web objects relevant to the user's needs. This paper presents a novel approach to web object id...
Nathanael Chambers, James F. Allen, Lucian Galescu...
We study a practice whereby a downstream firm makes to his supplier a premium-payment for a certain quantity of products. We show that the adoption of this practice can induce th...
We present a field study of police SWAT teams for the purpose of enabling grounded design of a system to coordinate distributed field robots. The mission-oriented, spatially distr...