190 search results - page 32 / 38 » Symmetry and Satisfiability: An Update |
149
click to vote
ADMI
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Autonomous agents are systems situated in dynamic environments. They pursue goals and satisfy their needs by responding to external events from the environment. In these ...
117
click to vote
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
—Optimal scheduling for concurrent transmissions in rate-nonadaptive wireless networks is NP-hard. Optimal scheduling in rate-adaptive wireless networks is even more difficult, ...
SIGOPS
2010
14 years 10 months ago
2010
Information management applications exhibit a wide range of query performance and result freshness goals. Some applications, such as web search, require interactive performance, b...
COMPSAC
2010
IEEE
14 years 9 months ago
2010
IEEE
This paper proposes MISSA, a novel middleware to facilitate the development and provision of stream-based services in emerging pervasive environments. The streambased services util...
110
click to vote
JMLR
2010
14 years 6 months ago
2010
We present a polynomial update time algorithm for the inductive inference of a large class of context-free languages using the paradigm of positive data and a membership oracle. W...