We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
— We analyze the user capacity of downlink CDMA systems with quasi-orthogonal sequences(QOSs) considering various system parameters, such as user activity, spreading factor, the ...
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinks...
Abstract. Membrane systems are gaining a prominent role in the modeling of biochemical processes and cellular dynamics. We associate specific reactivity values to the production r...
This paper describes an event–based synchronization mechanism, which is at the core of the inter– media synchronization in the upcoming standard for Multimedia Presentation, PR...
Ivan Herman, Nuno Correia, David A. Duce, David J....