1128 search results - page 88 / 226 » Classical Natural Deduction |
ESA
2004
Springer
14 years 3 months ago
2004
Springer
This paper considers the convergence problem in autonomous mobile robot systems. A natural algorithm for the problem requires the robots to move towards their center of gravity. Th...
ISIPTA
2003
IEEE
14 years 3 months ago
2003
IEEE
We extend Buja’s concept of “pseudo-capacities”, which comprises the neighbourhood models for classical probabilities commonly used in robust statistics. Although systematic...
SWARM
2010
SPRINGER
14 years 3 months ago
2010
SPRINGER
Biogeography-based optimization algorithm(BBO) is a new kind of optimization algorithm based on Biogeography. It is designed based on the migration strategy of animals to solve the...
ICRA
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper formally introduces several stability characterizations of £xtured three-dimensional rigid bodies initially at rest and in unilateral contact with Coulomb friction. The...
COCOON
2006
Springer
14 years 1 months ago
2006
Springer
We examine how to induce selfish heterogeneous users in a multicommodity network to reach an equilibrium that minimizes the social cost. In the absence of centralized coordination...