2050 search results - page 100 / 410 » constraints 2010 |
ICASSP
2010
IEEE
13 years 10 months ago
2010
IEEE
In this paper, a single antenna downlink channel with K users is analyzed in the presence of Rayleigh flat fading. A limited channel state information (CSI) feedback scheme is co...
LATA
2010
Springer
14 years 7 months ago
2010
Springer
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
ECAI
2010
Springer
13 years 11 months ago
2010
Springer
We introduce First Order ProbLog, an extension of first order logic with soft constraints where formulas are guarded by probabilistic facts. The paper defines a semantics for FOPro...
ECAI
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. This paper introduces restart and nogood recording techniques in the domain of qualitative spatial and temporal reasoning. Nogoods and restarts can be applied orthogonall...
CSL
2010
Springer
13 years 11 months ago
2010
Springer
We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over fixed, finite structures B. This may be seen as a natural generalisation of th...