Sciweavers

749 search results - page 98 / 150
» Dualities for Constraint Satisfaction Problems
Sort
View
ICC
2008
IEEE
113views Communications» more  ICC 2008»
15 years 5 months ago
Multiuser MIMO Downlink Beamforming Based on Group Maximum SINR Filtering
Abstract—In this paper we aim to solve the multiuser multiinput multi-output (MIMO) downlink beamforming problem. The transmitter is a multi-antenna base-station broadcasting to ...
Yu-Han Yang, Shih-Chun Lin, Hsuan-Jung Su
COORDINATION
2008
Springer
15 years 25 days ago
How to Infer Finite Session Types in a Calculus of Services and Sessions
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...
Leonardo Gaetano Mezzina
LICS
2006
IEEE
15 years 5 months ago
On Tractability and Congruence Distributivity
Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An importa...
Emil W. Kiss, Matthew Valeriote
SMA
2006
ACM
107views Solid Modeling» more  SMA 2006»
15 years 5 months ago
Solving topological constraints for declarative families of objects
Parametric and feature-based CAD models can be considered to represent families of similar objects. In current modelling systems, however, the semantics of such families are uncle...
Hilderick A. van der Meiden, Willem F. Bronsvoort
AAAI
2007
15 years 1 months ago
Counting CSP Solutions Using Generalized XOR Constraints
We present a general framework for determining the number of solutions of constraint satisfaction problems (CSPs) with a high precision. Our first strategy uses additional binary...
Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabha...