Sciweavers

140 search results - page 11 / 28
» Active Symbols in Pure Systems
Sort
View
78
Voted
IJCAI
2007
14 years 11 months ago
A Fully Connectionist Model Generator for Covered First-Order Logic Programs
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,...
Sebastian Bader, Pascal Hitzler, Steffen Höll...
GLOBECOM
2006
IEEE
15 years 3 months ago
Capacity Analysis of Downlink CDMA Systems with Quasi-Orthogonal Sequences
— 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 ...
Sung Soo Cho, Bang Chul Jung, Dan Keun Sung
RTSS
1999
IEEE
15 years 1 months ago
Specification and Analysis of Soft Real-Time Systems: Quantity and Quality
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...
ICNC
2005
Springer
15 years 2 months ago
Reaction-Driven Membrane Systems
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...
Luca Bianco, Federico Fontana, Vincenzo Manca
MMS
1998
14 years 9 months ago
A Standard Model for Multimedia Synchronization: PREMO Synchronization Objects
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....