12981 search results - page 2512 / 2597 » Model Checking and Abstraction |
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— In this paper, we investigate the use of multipleinput multiple-output (MIMO) techniques with linear precoded orthogonal frequency division multiplexing (LP-OFDM) wavef...
104
click to vote
HICSS
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— Distributed generation (DG) of electricity is providing an increasing part of the worldwide electricity supply. At the same time, there is a big potential of demand res...
129
click to vote
HPDC
2008
IEEE
15 years 7 months ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...
107
click to vote
ICC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— Wireless Mesh Network (WMN) has been recognized as one of the promising technologies to provide wireless broadband access. In addition to the multi-radio multi-channel ...
111
click to vote
ICRA
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— We present and examine a technique for estimating the ego-motion of a mobile robot using memory-based learning and a monocular camera. Unlike other approaches that rely...