5904 search results - page 967 / 1181 » Requirements for a Composition Language |
113
Voted
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—Sensor network localization is an instance of the NP-HARD graph realization problem. Thus, methods used in practice are not guaranteed to find the correct localization, even if...
119
click to vote
UIC
2009
Springer
15 years 10 months ago
2009
Springer
Document printing has long been considered an indispensable part of the workspace. While this process is considered trivial and simple for environments where resources are ample (e...
129
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
We introduce an adversarial planning algorithm based on game tree search, which is applicable in large-scale multiplayer domains. In order to tackle the scalability issues of game...
123
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
Sentiment analysis or opinion mining aims to use automated tools to detect subjective information such as opinions, attitudes, and feelings expressed in text. This paper proposes ...
132
click to vote
CSL
2009
Springer
15 years 10 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...