1716 search results - page 319 / 344 » Proving Conditional Termination |
CHI
2010
ACM
15 years 7 months ago
2010
ACM
Managing personal aspects of health is challenging for many patients, particularly those facing a serious condition such as cancer. Finding experienced patients, who can share the...
126
click to vote
ICDCN
2009
Springer
15 years 7 months ago
2009
Springer
Given a set of robots with arbitrary initial location and no agreement on a global coordinate system, convergence requires that all robots asymptotically approach the exact same, ...
82
Voted
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Hyperspectral unmixing aims at identifying the hidden spectral signatures (or endmembers) and their corresponding proportions (or abundances) from an observed hyperspect...
103
click to vote
ICC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— A common assumption in the network coding literature is that the users are cooperative and will not pursue their own interests. However, this assumption can be violated...
96
Voted
ICIW
2009
IEEE
15 years 7 months ago
2009
IEEE
We describe QoSMap, an overlay construction mechanism which computes high quality overlay networks for applications having stringent constraints on hop-degrading QoS metrics and p...