12783 search results - page 2135 / 2557 » Experimenting with computing |
143
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
199
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Efficient data management is a key component in achieving good performance for scientific workflows in distributed environments. Workflow applications typically communicate data be...
170
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We propose new robust classification algorithms for planar and spatial curves subjected to affine transformations. Our motivation comes from the problems in computer image recognit...
190
click to vote
CVIU
2010
15 years 7 months ago
2010
Estimating motions of a multi-camera system which may not have overlapping fields of view is generally complex and computationally expensive because of the non-zero offset between...
173
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We present an experimental investigation of the performance of the Lemke-Howson algorithm, which is the most widely used algorithm for the computation of a Nash equilibrium for bi...