Sciweavers

19130 search results - page 3451 / 3826
» Modelling multi-path problems
Sort
View
IJFCS
2006
119views more  IJFCS 2006»
15 years 4 months ago
Enforcing Concurrent Temporal Behaviors
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
Doron Peled, Hongyang Qu
IJHPCA
2006
125views more  IJHPCA 2006»
15 years 4 months ago
Complexity Results for Collective Communications on Heterogeneous Platforms
In this paper, we consider the communications involved in the execution of a complex application, deployed on a heterogeneous platform. Such applications extensively use macro-com...
Olivier Beaumont, Loris Marchal, Yves Robert
IVC
2008
129views more  IVC 2008»
15 years 4 months ago
3D Motion from structures of points, lines and planes
In this article we propose a method for estimating the camera motion from a video-sequence acquired in the presence of general 3D structures. Solutions to this problem are commonl...
Andrea Dell'Acqua, Augusto Sarti, Stefano Tubaro
CORR
2007
Springer
94views Education» more  CORR 2007»
15 years 4 months ago
Statistical tools to assess the reliability of self-organizing maps
Results of neural network learning are always subject to some variability, due to the sensitivity to initial conditions, to convergence to local minima, and, sometimes more dramat...
Eric de Bodt, Marie Cottrell, Michel Verleysen
CORR
2007
Springer
70views Education» more  CORR 2007»
15 years 4 months ago
Secure Broadcasting
Abstract—We study a problem of broadcasting confidential messages to multiple receivers under an information-theoretic secrecy constraint. Two scenarios are considered: 1) all r...
Ashish Khisti, Aslan Tchamkerten, Gregory W. Worne...
« Prev « First page 3451 / 3826 Last » Next »