12194 search results - page 386 / 2439 » cans 2010 |
191
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Modular robots can potentially assemble into a wide range of configurations to locomote in different environments. However, designing locomotion strategies for each configura...
177
Voted
FOIKS
2010
Springer
16 years 1 months ago
2010
Springer
The current web is a web of linked pages. Frustrated users search for facts by guessing which keywords or keyword phrases might lead them to pages where they can find facts. Can w...
175
click to vote
KDD
2010
ACM
15 years 10 months ago
2010
ACM
Compressing social networks can substantially facilitate mining and advanced analysis of large social networks. Preferably, social networks should be compressed in a way that they...
202
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
In many half-duplex cooperative systems, the direct formulation of the problem of finding the jointly optimal power and channel resource allocation that maximizes a weighted sum ...
167
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...