5799 search results - page 413 / 1160 » Position Paper |
176
click to vote
ENTCS
2006
15 years 6 months ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
180
click to vote
AROBOTS
2002
15 years 6 months ago
2002
To navigate in unknown environments, mobile robots require the ability to build their own maps. A major problem for robot map building is that odometry-based dead reckoning cannot ...
180
click to vote
ADHOCNETS
2010
Springer
15 years 4 months ago
2010
Springer
Communication neighborhood in wireless sensor networks changes often as links break or appear. Therefore, monitoring link quality and (logical) network topology is necessary. As no...
139
click to vote
OCLC
2007
15 years 5 months ago
2007
Purpose – The purpose of this paper is to outline the development of the institutional repository of Utrecht University, the Igitur Archive. The Utrecht repository is unique for...
157
click to vote
DCC
2009
IEEE
16 years 7 months ago
2009
IEEE
This paper considers the problem of transmitting the difference of two positively correlated Gaussian sources over a two-user additive Gaussian noise multiple access channel (MAC)...