4117 search results - page 200 / 824 » On the Satisfiability of Complex Constraints |
165
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we consider an automatic-repeat-request (ARQ) retransmission protocol signaling over a block-fading multiple-input, multiple-output (MIMO) channel. Unlike previous ...
189
click to vote
CJ
2004
15 years 6 months ago
2004
Building footprint simplification is of critical importance to radio propagation predictions in wireless communication systems as the prediction time is closely related to the num...
181
click to vote
AI
1998
Springer
15 years 6 months ago
1998
Springer
This paper addresses the logical foundations of goal-regression planning in autonomous rational agents. It focuses mainly on three problems. The first is that goals and subgoals w...
172
click to vote
TIT
2002
15 years 6 months ago
2002
A novel DC-free binary convolutional coding scheme is presented. The proposed scheme achieves the DC-free and error correcting capability simultaneously. The scheme has a simple ca...
226
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
Computational protein design can be formulated as an optimization problem, where the objective is to identify the sequence of amino acids that minimizes the energy of a given prot...