Sciweavers

107 search results - page 9 / 22
» Further results on the Craig-Sakamoto Equation
Sort
View
AR
2010
133views more  AR 2010»
14 years 9 months ago
Coordinated Control of Space Robot Teams for the On-Orbit Construction of Large Flexible Space Structures
Teams of autonomous space robots are needed for future space missions such as the construction of large solar power stations and large space telescopes in earth orbit. This work fo...
Peggy Boning, Steven Dubowsky
SMI
2010
IEEE
183views Image Analysis» more  SMI 2010»
14 years 8 months ago
Shape Defined Panoramas
Panoramic projections are often defined by the geometric surfaces used to derive the projections' equations (e.g., spherical and cylindrical panoramas). The parameterization o...
John Brosz, Faramarz Samavati
MOC
2000
85views more  MOC 2000»
14 years 10 months ago
Improving the convergence of non-interior point algorithms for nonlinear complementarity problems
Recently, based upon the Chen-Harker-Kanzow-Smale smoothing function and the trajectory and the neighbourhood techniques, Hotta and Yoshise proposed a noninterior point algorithm f...
Liqun Qi, Defeng Sun
ICASSP
2008
IEEE
15 years 5 months ago
Representation of solo clarinet music by physical modeling synthesis
A physical modeling synthesizer is developed and used to parametrically represent digital audio recordings of clarinet soloists. Empirical data, in the form of acoustic impedance ...
Mark Sterling, Xiaoxiao Dong, Mark Bocko
97
Voted
CORR
2010
Springer
155views Education» more  CORR 2010»
14 years 8 months ago
A Proof Theoretic Analysis of Intruder Theories
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages under the theory of ...
Alwen Tiu, Rajeev Goré, Jeremy E. Dawson