1582 search results - page 162 / 317 » Mathematical Tools for Physics |
191
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— Scan matching techniques have been widely used to compute the displacement of robots. This estimate is part of many algorithms addressing navigation and mapping. This paper add...
155
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...
164
click to vote
SIAMSC
2008
15 years 4 months ago
2008
In the mathematical modeling of real-life applications, systems of equations with complex coefficients often arise. While many techniques of numerical linear algebra, e.g., Krylovs...
187
click to vote
HIS
2009
15 years 3 months ago
2009
This paper present a class of investment problem, in which many items could be chosen in a group decision environment. Usually there is a decision table from the board of director...
155
click to vote
MCFNS
2010
15 years 21 days ago
2010
This paper describes the foundations of a market mechanism that was designed to stimulate more efficient provisions of forest ecosystem services to society. The proposed tool is a ...