Sciweavers

3224 search results - page 241 / 645
» Abstract Error Projection
Sort
View
AI
2002
Springer
15 years 6 months ago
Relaxed Unification - Proposal
Abstract. The traditional unification is strict in the sense that it requires a perfect agreement between the terms being unified. In practice, data is seldom error-free and can co...
Tony Abou-Assaleh, Nick Cercone
CORR
2002
Springer
133views Education» more  CORR 2002»
15 years 6 months ago
Declarative program development in Prolog with GUPU
Abstract. We present GUPU, a side-effect free environment specialized for programming courses. It seamlessly guides and supports students during all phases of program development, ...
Ulrich Neumerkel, Stefan Kral
151
Voted
MOC
2000
109views more  MOC 2000»
15 years 6 months ago
A mixed formulation of Boussinesq equations: Analysis of nonsingular solutions
Abstract. This paper is concerned with the mixed formulation of the Boussinesq equations in two-dimensional domains and its numerical approximation. The paper deals first with exis...
M. Farhloul, S. Nicaise, L. Paquet
MOC
2000
102views more  MOC 2000»
15 years 6 months ago
Finite element approximation for equations of magnetohydrodynamics
Abstract. We consider the equations of stationary incompressible magnetohydrodynamics posed in three dimensions, and treat the full coupled system of equations with inhomogeneous b...
Matthias Wiedmer
TSMC
2002
143views more  TSMC 2002»
15 years 6 months ago
Robot visual servoing with iterative learning control
Abstract--This paper presents an iterative learning scheme for visionguided robot trajectory tracking. At first, a stability criterion for designing iterative learning controller i...
Ping Jiang, Rolf Unbehauen