11017 search results - page 203 / 2204 » Closure Systems and their Structure |
158
click to vote
DELTA
2002
IEEE
15 years 10 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...
145
click to vote
CONCUR
1998
Springer
15 years 10 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 ...
128
click to vote
DCC
2007
IEEE
16 years 5 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...
166
click to vote
ICASSP
2008
IEEE
16 years 9 days 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...
153
click to vote
ECEASST
2008
15 years 6 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 ...