4426 search results - page 116 / 886 » Concurrent Constraint Programming |
159
click to vote
ICALP
1998
Springer
15 years 8 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
143
click to vote
ICDCS
1997
IEEE
15 years 8 months ago
1997
IEEE
—This paper describes algorithms for implementing a high-level programming model for synchronous distributed groupware applications. In this model, several application data objec...
137
click to vote
ASIAN
1998
Springer
15 years 8 months ago
1998
Springer
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...
155
click to vote
RTCSA
2000
IEEE
15 years 8 months ago
2000
IEEE
In a real-time database system, it is difficult to meet all timing constraints due to the consistency requirements of the underlying database. However, when the transactions in t...
132
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
The scarcity of available multi-track recordings constitutes a severe constraint on the training of probabilistic models for voice extraction from polyphonic music. We propose a n...