NTT DoCoMo

About: NTT DoCoMo is a based out in . It is known for research contribution in the topics: Base station & Mobile station. The organization has 4032 authors who have published 8655 publications receiving 160533 citations.

Mobile communication system, transmitting station, receiving station, relay station, communication path determining method, and communication path determining program

Abstract: A mobile communication system determines a communication path to implement fast communication by multihop connection. A mobile communication system includes a mobile station, at least one relay station, and a base station and implements packet transmission from the mobile station to the base station through a communication path with an intermediary of at least one relay station or through a communication path without an intermediary of a relay station. The mobile communication system is provided with a communication path determiner for determining a communication path with a largest communication speed or a communication path satisfying a required line quality, based on interference levels of respective signals received at a relay station constituting a communication path between the transmitting station and the receiving station, and at the base station.

Apparatus for transmitting program information, communicating system, method of transmitting program information, method of instructing program recording operation, and method of instructing program purchasing operation

Abstract: Program guide information of the program to be broadcast by the broadcast station 1 is reserved in the EPG server 15 of the center station 11. The EPG server 15 retrieves for each user, the program satisfying the conditions such as the category of the program registered in the personal information database 16, and then transmits the guide information of the retrieved programs to the portable telephone 14 of a user who has set the conditions, via the communication network 10. Thereby, even if the user is outside the home, if there is a program satisfying the conditions specified by the user, the user can obtain the information concerning the program by utilizing the portable telephone 14. Then, the user can instruct, with reference to the obtained program information, a recording operation from the portable telephone 14 to the VTR 6 in the home 12.

Enforcing resource bounds via static verification of dynamic checks

Abstract: We classify existing approaches to resource-bounds checking as static or dynamic. Dynamic checking performs checks during program execution, while static checking performs them before execution. Dynamic checking is easy to implement but incurs runtime cost. Static checking avoids runtime overhead but typically involves difficult, often incomplete program analyses. In particular, static checking is hard in the presence of dynamic data and complex program structure. We propose a new resource management paradigm that offers the best of both worlds. We present language constructs that let the code producer optimize dynamic checks by placing them either before each resource use, or at the start of the program, or anywhere in between. We show how the code consumer can then statically verify that the optimized dynamic checks enforce his resource bounds policy. We present a practical language that is designed to admit decidable yet efficient verification and prove that our procedure is sound and optimal. We describe our experience verifying a Java implementation of tar for resource safety. Finally, we outline how our method can improve the checking of other dynamic properties.

Signal transmission apparatus and signal transmission method

Abstract: A signal transmission apparatus for transmitting a signal using multiple antenna elements comprises a transmission signal generator configured to convert at least one of a first signal addressed to an arbitrary mobile terminal belonging to a geographical area and a second signal addressed to a specific mobile terminal located in a part of the geographical area into one or more transmission signals to be transmitted using a prescribed beam pattern; a weighting adjustor configured to weight said one or more transmission signals for each of the antenna elements to define the prescribed beam pattern; and a signal synthesizer provided for each of the antenna elements and configured to synthesize the weighted transmission signals.

Nonlinear, in-the-loop, denoising filter for quantization noise removal for hybrid video compression

Abstract: A method and apparatus is disclosed herein for using an in-the-loop denoising filter for quantization noise removal for video compression. In one embodiment, the video encoder comprises a transform coder to apply a transform to a residual frame representing a difference between a current frame and a first prediction, the transform coder outputting a coded differential frame as an output of the video encoder; a transform decoder to generate a reconstructed residual frame in response to the coded differential frame; a first adder to create a reconstructed frame by adding the reconstructed residual frame to the first prediction; a non-linear denoising filter to filter the reconstructed frame by deriving expectations and performing denoising operations based on the expectations; and a prediction module to generate predictions, including the first prediction, based on previously decoded frames.