5165 search results - page 90 / 1033 » Consistency of the Neighbor-Net Algorithm |
152
Voted
ESOP
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it is only appropriate for sequentially consistent mem...
136
click to vote
AROBOTS
1999
15 years 2 months ago
1999
This analytic and experimental study proposes a control algorithm for coordinated position and force control for autonomous multi-limbed mobile robotic systems. The technique is ca...
130
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
This article deals with a regularized version of the split gradient method (SGM), leading to multiplicative algorithms. The proposed algorithm is available for the optimization of...
108
click to vote
SPAA
2003
ACM
15 years 7 months ago
2003
ACM
The general problem of verifying coherence for shared-memory multiprocessor executions is NP-Complete. Verifying memory consistency models is therefore NP-Hard, because memory con...
109
click to vote
ICIRA
2009
Springer
15 years 6 days ago
2009
Springer
Abstract. Two algorithms for area coverage (for use in space applications) were evaluated using a simulator and then tested on a multi-robot society consisting of LEGO Mindstorms r...