It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
Given a query point and a collection of spatial features, a multi-type nearest neighbor (MTNN) query finds the shortest tour for the query point such that only one instance of eac...
The ability to provide flexible, automated management of air traffic is critical to meeting the ever increasing needs of the next generation air transportation systems. This probl...
We study an extension of the unit-demand pricing problem in which the seller may offer bundles of items. If a customer buys such a bundle she is guaranteed to get one item out of i...
The limited number of orthogonal channels and autonomous installations of hotspots and home wireless networks often leave neighboring 802.11 basic service sets (BSSs) operating on ...
Chun-cheng Chen, Eunsoo Seo, Hwangnam Kim, Haiyun ...