Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man...
In this paper we study the mechanism design problem of coalition formation and cost sharing in an electronic marketplace, where buyers can form coalitions to take advantage of dis...
In an open innovation environment, organizational learning takes place by means of dispersed teams which expand their knowledge through collaborative idea generation. Research is o...
Rory L. L. Sie, Marlies Bitter-Rijpkema, Peter B. ...
In order to overcome some unavoidable factors, like shift of the part, that influence the crisp neural networks' recognition, the present study is dedicated in developing a n...
R. J. Kuo, Y. T. Su, C. Y. Chiu, Kai-Ying Chen, Fa...
— A Quadrature Amplitude Modulation (QAM) resource allocation algorithm for Video on Demand (VoD) traffic is presented. Based on stream encoding rates and available system capaci...
Jiong Gong, David Reed, Terry Shaw, Daniel A. Viva...