21324 search results - page 457 / 4265 » Making the case for computing |
220
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
— This paper considers the problem of verifying stability of large-scale nonlinear dynamical systems. Using a comparison principle approach we present a numerical method of estim...
187
click to vote
MKM
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
155
click to vote
HPDC
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe MW – a software framework that allows users to quickly and easily parallelize scientific computations using the master-worker paradigm on the computationalgrid. MW ...
184
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
The multiple view geometry in space-time can represent multiple view geometry in the case where nonrigid arbitrary motions are viewed from multiple translational cameras. However,...
155
click to vote
ACCV
2006
Springer
16 years 1 months ago
2006
Springer
We consider the task of computing the pose of an object relative to a camera, for the case where the camera has no direct view of the object. This problem was encountered in work o...