4117 search results - page 607 / 824 » On the Satisfiability of Complex Constraints |
196
click to vote
MATES
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. It has been observed that there are interesting relations between planning and agent programming. This is not surprising as agent programming was partially motivated by t...
172
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...
180
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
— We present a crosslayer framework for optimizing the performance of wireless networks as measured by applications or upper layer protocols. The approach combines adaptive modul...
175
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We consider state estimation of a Markov stochastic process using an ad hoc wireless sensor network (WSN) based on noisy linear observations. Due to power and bandwidth constraint...
187
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
A new time-sequential approach for motion layer extraction is presented. We assume that the scene can be described by a set of layers associated to affine motion models. In one o...