3229 search results - page 274 / 646 » Mixing |
157
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
We prove full completeness of multiplicative linear logic (MLL) without MIX under the Chu interpretation. In particular we show that the cut-free proofs of MLL theorems are in a n...
148
click to vote
GECCO
1999
Springer
15 years 11 months ago
1999
Springer
The paper describes an immunogenetic approach to recognize spectra for chemical analysis. In particular, an immunological model for chemical reactions is introduced in which a pop...
201
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
We consider the problem of scheduling the mixed workload of both sporadic (on-line) and periodic (off-line) tasks on variable voltage processor to optimize power consumption while...
168
click to vote
PG
1998
IEEE
15 years 11 months ago
1998
IEEE
The construction of shape spaces is studied from a mathematical and a computational viewpoint. A program is outlined reducing the problem to four tasks: the representation of geom...
170
click to vote
ISPD
1998
ACM
15 years 11 months ago
1998
ACM
This paper proposes a placement method for a mixed set of hard, soft, and pre-placed modules, based on a placement topology representation called sequence-pair. Under one sequence...