Sciweavers

281 search results - page 30 / 57
» Solving Parametric Algebraic Systems
Sort
View
114
Voted
PROCEDIA
2010
173views more  PROCEDIA 2010»
14 years 11 months ago
Combination of an adaptive multilevel SQP method and a space-time adaptive PDAE solver for optimal control problems
We present an adaptive multilevel generalized SQP method to solve PDAE-constrained optimization problems. It explicitly allows the use of independent integration schemes such that...
Debora Clever, Jens Lang, Stefan Ulbrich, J. Carst...
SIAMSC
2010
142views more  SIAMSC 2010»
14 years 11 months ago
Nested Iteration and First-Order System Least Squares for Incompressible, Resistive Magnetohydrodynamics
This paper develops a nested iteration algorithm to solve time-dependent nonlinear systems of partial differential equations. For each time step, Newton’s method is used to form...
J. H. Adler, Thomas A. Manteuffel, Stephen F. McCo...
104
Voted
CVPR
2008
IEEE
16 years 2 months ago
A general solution to the P4P problem for camera with unknown focal length
This paper presents a general solution to the determination of the pose of a perspective camera with unknown focal length from images of four 3D reference points. Our problem is a...
Martin Bujnak, Tomás Pajdla, Zuzana Kukelov...
UTP
2010
14 years 10 months ago
Specification Coverage for Testing in Circus
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
Ana Cavalcanti, Marie-Claude Gaudel
88
Voted
ICTAI
2007
IEEE
15 years 6 months ago
Knowledge Based Mechanisms for Tutoring Systems in Science and Engineering
In science and engineering courses, students are often presented a situation for which they are asked to identify the relevant principles and to instantiate them as a set of equat...
Chun Wai Liew, Joel A. Shapiro, Donald E. Smith