6308 search results - page 1063 / 1262 » Modeling Urgency in Timed Systems |
176
click to vote
IPCO
2008
15 years 8 months ago
2008
In this paper, we present a new Integer Program (IP) for the Air Traffic Flow Management (ATFM) problem. The model we propose provides a complete representation of all the phases o...
165
click to vote
DMIN
2006
15 years 8 months ago
2006
Since it is desirable for an intrusion detection system to be operated with the real time performance, it is not unusual for an intrusion detection engine to perform a "lazy ...
155
click to vote
FLAIRS
2004
15 years 8 months ago
2004
TURING Test technologies are promising ways to validate AI systems which may have no alternative way to indicate validity. Human experts (validators) are often too expensive to in...
169
click to vote
FMOODS
2003
15 years 8 months ago
2003
Abstract. The component-based model of code execution imposes some requirements on the software components themselves, and at the same time lays some constraints on the modern run-...
170
click to vote
AIPS
2000
15 years 8 months ago
2000
The Remote Agent Experiment (RAX) on the Deep Space 1 (DS1) mission was the first time that an artificially intelligent agent controlled a NASA spacecraft. One of the key componen...