2014 search results - page 177 / 403 » A P2P Approach for Global Computing |
128
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
153
click to vote
SMILE
1998
Springer
15 years 9 months ago
1998
Springer
In this paper we present our global approach to accurate 3D reconstruction with a calibrated multi-camera system. In particular, we illustrate a simple and effective adaptive techn...
149
click to vote
IMR
2003
Springer
15 years 10 months ago
2003
Springer
Unstructured mesh adaptation has already revealed very efficient for computing an accurate solution in a reasonnable amount of time on current PC architectures. Two features are s...
134
click to vote
ICPR
2002
IEEE
16 years 6 months ago
2002
IEEE
We consider the segmentation of a trajectory into piecewise polynomial parts, or possibly other forms. Segmentation is typically formulated as an optimization problem which trades...
141
click to vote
ICIC
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we present an application of neural networks in the renewable energy domain. We have developed a methodology for the daily prediction of global solar radiation on a ...