5216 search results - page 781 / 1044 » Planning as Model Checking |
168
click to vote
ROBOCUP
2009
Springer
16 years 1 months ago
2009
Springer
Fast-paced dynamic environments like robot soccer require highly responsive and dynamic locomotion. We present an implementation of an omnidirectional ZMP-based walk engine for the...
171
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—In this contribution we present a numerical approach to evaluate the bit error rate and mutual information of OFDM links affected by transmitter nonlinearities, phase no...
172
click to vote
NOMS
2008
IEEE
16 years 28 days ago
2008
IEEE
—With the increased network size and diversity, and the proliferation in applications and services, the network service providers are faced with a flood of information from many...
124
click to vote
CBMS
2007
IEEE
16 years 27 days ago
2007
IEEE
Clinical practice guidelines are widely used to support medical staff in treatment planning and decision-making, whereas, the classification of different recommendations in the C...
102
click to vote
ICC
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract— Fast radio wave propagation prediction is of tremendous interest for planning and optimization of cellular radio networks. We propose a cube oriented 3D ray launching a...