23 search results - page 4 / 5 » A retrospective view of ATM |
IJCAI
1989
13 years 6 months ago
1989
In a recent paper, Ginsberg shows how a backward-chaining ATMS can be used to construct a theorem prover for circumscription. Here, this work is extended to handle prioritized cir...
CDC
2010
IEEE
13 years 3 days ago
2010
IEEE
In the perspective next generation Air Traffic Management (ATM) systems, aircraft will be endowed with part of the responsibility for separation maintenance, and traffic complexity...
UIST
2006
ACM
13 years 11 months ago
2006
ACM
Sometimes users fail to notice a change that just took place on their display. For example, the user may have accidentally deleted an icon or a remote collaborator may have change...
BMCBI
2006
13 years 5 months ago
2006
Background: The statistical modeling of biomedical corpora could yield integrated, coarse-to-fine views of biological phenomena that complement discoveries made from analysis of m...
OOPSLA
2010
Springer
13 years 4 months ago
2010
Springer
Programming forums are becoming the primary tools for programmers to find answers for their programming problems. Our empirical study of popular programming forums shows that the...