Sciweavers

6456 search results - page 344 / 1292
» Constraint Solving on Terms
Sort
View
JNSM
2008
130views more  JNSM 2008»
15 years 6 months ago
Declarative Infrastructure Configuration Synthesis and Debugging
There is a large conceptual gap between end-to-end infrastructure requirements and detailed component configuration implementing those requirements. Today, this gap is manually br...
Sanjai Narain, Gary Levin, Sharad Malik, Vikram Ka...
IOR
2007
106views more  IOR 2007»
15 years 6 months ago
Planning and Scheduling by Logic-Based Benders Decomposition
We combine mixed integer linear programming (MILP) and constraint programming (CP) to solve an important class of planning and scheduling problems. Tasks are allocated to faciliti...
John N. Hooker
CDC
2010
IEEE
183views Control Systems» more  CDC 2010»
15 years 1 months ago
Application of potent potential functions in eye/head movement control
In this paper we study the human eye movement and the head movement system as a simple mechanical control system. Most of the time, eye movements obey Listing's constraint, wh...
Bijoy K. Ghosh, Indika Wijayasinghe
ICC
2009
IEEE
173views Communications» more  ICC 2009»
16 years 1 months ago
Low-Complexity List-Based Frame Synchronization for LDPC Coded Transmission
Abstract—In this paper, we propose a simple and efficient twostage list synchronizer for frame synchronization of Low-Density Parity-Check (LDPC) coded data transmitted over the...
Cedomir Stefanovic, Dejan Vukobratovic, Dragana Ba...
INFOCOM
2009
IEEE
16 years 1 months ago
Proportional Fair Frequency-Domain Packet Scheduling for 3GPP LTE Uplink
—With the power consumption issue of mobile handset taken into account, Single-carrier FDMA (SC-FDMA) has been selected for 3GPP Long-Term Evolution (LTE) uplink multiple access ...
Suk-Bok Lee, Ioannis Pefkianakis, Adam Meyerson, S...