11017 search results - page 203 / 2204 » Closure Systems and their Structure |
DELTA
2002
IEEE
14 years 2 months ago
2002
IEEE
In the upcoming high transmission rate system, based on code division multiple access, standard multi-user detection methods are restricted because of performance and implementati...
CONCUR
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
DCC
2007
IEEE
14 years 9 months ago
2007
IEEE
We develop a simulated annealing technique to jointly optimize a distributed quantization structure meant to maximize the asymptotic error exponent of a downstream classifier or d...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
A knowledge representation formalism for SLU is introduced. It is used for incremental and partially automated annotation of the MEDIA corpus in terms of semantic structures. An a...
ECEASST
2008
13 years 9 months ago
2008
: This paper introduces negative application conditions for reconfigurable place/transition nets. These are Petri nets together with a set of rules that allow changing the net and ...