11022 search results - page 419 / 2205 » Programming Systems for Autonomy |
198
click to vote
EVOW
2009
Springer
15 years 5 months ago
2009
Springer
An ever-present problem in intrusion detection technology is how to construct the patterns of (good, bad or anomalous) behaviour upon which an engine have to make decisions regardi...
195
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
We consider the robust beamforming problem under imperfect channel state information (CSI) subject to SINR constraints in a downlink multiuser MISO system. One popular approach to...
195
click to vote
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
195
click to vote
ANLP
1992
15 years 8 months ago
1992
1 This paper reports on the SPOKESMAN natural language generation system, which is a domain independent text generator designed to incrementally produce text for an underlying appl...
209
click to vote
WSC
2000
15 years 8 months ago
2000
As part of the design of the next generation Naval Amphibious Transport Dock Ship (LPD17), simulation was used to evaluate the arrangement and flow of cargo on the ship and to int...