Sciweavers

980 search results - page 141 / 196
» Decentralized Constraint Satisfaction
Sort
View
ICASSP
2009
IEEE
15 years 2 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»
15 years 8 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
15 years 8 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
15 years 6 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»
14 years 11 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