2014 search results - page 177 / 403 » A P2P Approach for Global Computing |
173
Voted
CAV
2009
Springer
16 years 7 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...
181
Voted
SMILE
1998
Springer
15 years 11 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...
176
click to vote
IMR
2003
Springer
16 years 4 days 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...
176
click to vote
ICPR
2002
IEEE
16 years 8 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...
175
click to vote
ICIC
2009
Springer
16 years 1 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 ...