Sciweavers

980 search results - page 141 / 196
» Decentralized Constraint Satisfaction
Sort
View
ICASSP
2009
IEEE
13 years 6 months ago
Outage-based designs for multi-user transceivers
We consider a broadcast channel with multiple antennas at the base station and single-antenna receivers, and we study transceiver design with Quality of Service (QoS) requirements...
Michael Botros Shenouda, Timothy N. Davidson
PODS
1999
ACM
160views Database» more  PODS 1999»
14 years 1 months ago
Queries with Incomplete Answers over Semistructured Data
Semistructured data occur in situations where information lacks a homogeneous structure and is incomplete. Yet, up to now the incompleteness of information has not been re ected b...
Yaron Kanza, Werner Nutt, Yehoshua Sagiv
CP
1998
Springer
14 years 1 months ago
Error-Correcting Source Code
We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. Strongly moding and constraint-based mode analysis are tur...
Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho
CPAIOR
2008
Springer
13 years 10 months ago
Propagating Separable Equalities in an MDD Store
We present a propagator that achieves MDD consistency for a separable equality over an MDD (multivalued decision diagram) store in pseudo-polynomial time. We integrate the propagat...
Tarik Hadzic, John N. Hooker, Peter Tiedemann
CDC
2010
IEEE
183views Control Systems» more  CDC 2010»
13 years 4 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