2462 search results - page 195 / 493 » Consistent cooperative localization |
148
click to vote
AIS
2002
Springer
15 years 6 months ago
2002
Springer
: Knowledge networking is seen here in terms of creating new alliances of producers, users and mediators of knowledge. At the global level, knowledge networking is about a symbioti...
168
click to vote
ENTCS
2002
15 years 6 months ago
2002
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...
153
click to vote
JUCS
2000
15 years 6 months ago
2000
: Since the era of vector and pipelined computing, the computational speed is limited by the memory access time. Faster caches and more cache levels are used to bridge the growing ...
189
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract--Spatial interference alignment among a finite number of users is investigated as a technique to increase the probability of successful transmission in an interference lim...
171
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— A team of robots cooperating to quickly produce a map needs to share landmark information between members so that the local maps can be accurately merged. However, the appearan...