3116 search results - page 26 / 624 » Positively dependent types |
84
Voted
VTC
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— Depending on the position of mobile stations in the multihop relay system, various types of cooperative relaying schemes show the different level of throughput and outa...
77
Voted
ICALP
2004
Springer
15 years 3 months ago
2004
Springer
We show that strictly positive inductive types, constructed from polynomial functors, constant exponentiation and arbitrarily nested inductive types exist in any Martin-L¨of categ...
114
click to vote
KI
1997
Springer
15 years 1 months ago
1997
Springer
One of the fundamental problems in the eld of mobile robotics is the estimation of the robot's position in the environment. Position probability grids have been proven to be a...
MWCN
2004
Springer
15 years 3 months ago
2004
Springer
— We consider node localization problems in ad hoc wireless networks in which two types of nodes are considered: nodes with self-locating capability like GPS and nodes with no se...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
— In this paper we consider UWB (ultra wide band) based positioning. We derive the CRBs (Cramer Rao bound) for AOA (angle of arrival) and for hybrid method using both AOA and TOA...