RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized ...
Background: Optimization theory has been applied to complex biological systems to interrogate network properties and develop and refine metabolic engineering strategies. For examp...
Erwin P. Gianchandani, Matthew A. Oberhardt, Antho...
This paper proposes a mobile printer system (MPS) based on multi-robot cooperation. The system consists of multiple mobile robots, a wireless LAN system, a graphic user interface ...
This paper addresses the problem of data detection in orthogonal frequency division multiplexing (OFDM) systems operating under a time-varying multipath fading channel. Optimal det...
Abstract--Automated passenger tracking in public transportation systems can be used to estimate the short-term demand and, thereby, to optimize the fleet schedule in real time. It ...
Christian Oberli, Miguel Torres-Torriti, Dan Landa...