1153 search results - page 158 / 231 » The Complexity of Revision, Revised |
127
click to vote
CONCUR
2007
Springer
15 years 12 months ago
2007
Springer
Games via Three-Valued Abstraction Refinement Luca de Alfaro, Pritam Roy PII: S0890-5401(10)00018-0 DOI: 10.1016/j.ic.2009.05.007 Reference: YINCO 3711 To appear in: Information an...
166
click to vote
CPAIOR
2007
Springer
15 years 12 months ago
2007
Springer
In this paper we present a destructive lower bound for a number of resource constrained project scheduling (RCPS) problems, which is based on column generation. We first look at t...
135
click to vote
ECSQARU
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
175
click to vote
IWSOS
2007
Springer
15 years 12 months ago
2007
Springer
— In Wireless Sensor Network (WSN) applications, sensor nodes are often deployed in harsh environments. Routine maintenance, fault detection and correction is difficult, infrequ...
155
click to vote
OTM
2007
Springer
15 years 12 months ago
2007
Springer
Network intrusion detection has been generally dealt with using sophisticated software and statistical analysis, although sometimes it has to be done by administrators, either by d...