1743 search results - page 227 / 349 » Generalized Modal Satisfiability |
128
Voted
FOCS
2009
IEEE
15 years 11 months ago
2009
IEEE
— We study the complexity of a class of problems involving satisfying constraints which remain the same under translations in one or more spatial directions. In this paper, we sh...
139
click to vote
ICAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Dynamic adaptation may be used to prevent software downtime while new requirements and responses to environmental conditions are incorporated into the system. Previously, we studi...
148
click to vote
RTCSA
2009
IEEE
15 years 11 months ago
2009
IEEE
—Mobile sensors are widely deployed in Wireless Sensor Networks (WSNs) to satisfy emerging application requirements. Specifically, processing location dependent queries in mobile...
130
Voted
ESA
2009
Springer
15 years 11 months ago
2009
Springer
We consider a process called Group Network Formation Game, which represents the scenario when strategic agents are building a network together. In our game, agents can have extrem...
128
click to vote
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
Circumscription is one of the most important formalisms for reasoning with incomplete information. It is equivalent to reasoning under the extended closed world assumption, which a...