This paper addresses the problem of autonomous quadrotor navigation through a previously-mapped indoor area. In particular, we focus on the case where a user walks through a building and collects images. Subsequently, a visual map of the area, represented as a graph of linked images, is constructed and used for automatically determining visual paths (i.e., sequences of images connecting the sta...

AbstructModern memory systems are composed of several levels of caching. Design of these levels is largely an empirical practice. One highly-effective empirical method is the single-pass method wherein all caches in a broad design space are evaluated in one pass over the trace. Multiprogramming degrades memory system performance since (process) context switching reduces the effectiveness of cac...

We propose a comprehensive theory of codemixed discourse, encompassing equivalencepoint and insertional code-switching, palindromic constructions and lexical borrowing. The starting point is a production model of code-switching accounting for empirical observations about switch-point distribution (the equivalence constraint), well-formedness of monolingual fragments, conservation of constituent...

A simplified model predictive control method is presented in this paper. This method is based on a future reference voltage vector for a three-phase four-leg voltage source inverter (VSI). Compared with the three-leg VSIs, the four-leg VSI increases the possible switching states from 8 to 16 owing to a fourth leg. Among the possible states, this should be considered in the model predictive cont...

Square Complex Orthogonal Space Time Block Codes (COSTBC) with no zero entries are known for 2,4 and 8 transmit antennas. But, for 16 transmit antennas COSTBCs with no zero entries have not been reported. Zero entries in the design lead to the problem of switching off of transmit antenna, imposing severe constraints on hardware implementation. The zeros also result in the increase of the Peak t...

Today's distributed applications need to interoperate across diierent administrative domains, handle multiple types of media, and execute on diierent computer platforms with diierent processing and networking capabilities. This demand poses several challenges to the application designer. Issues such as interoperability, real-time communication, security and performance must be properly addresse...

Synchronization of multiple data streams in time has been recognized as a significant requirement of future multimedia applications utilizing broadband communication technology. Although this requirement has been approached for such single channel media as packetized audio and video, a general solution has not been identified for the provision of synchronization of real-time stream traffic as w...

The i-mode services platform is a unique business model that benefits service providers, the network operator, device manufacturers, and the customers. The current NTT DoCoMo solution is deployed to the PDC network, available only in Japan. Presently, several arguments have been put forward as to the success of i-mode in Japan, however such erudition has done little for other mobile operators f...

For every prime m ≥ 2, we give a family of tautologies that require super-polynomial size constant-depth Frege proofs from Countm axioms, and whose algebraic translations have constant-degree, polynomial size polynomial calculus refutations over Zm. This shows that constant-depth Frege systems with counting axioms modulo m do not polynomially simulate constant-depth Frege systems with counting ...