Sciweavers

3616 search results - page 280 / 724
» Conditional Memory Ordering
Sort
View
CAGD
2005
135views more  CAGD 2005»
15 years 4 months ago
Constrained space curve interpolation with constraint planes
We consider the interpolation of a given set of ordered space data points by a smooth curve in the presence ofa set offinite or infinite constraint planes, where the polyline join...
V. P. Kong, B. H. Ong
113
Voted
JSYML
2007
62views more  JSYML 2007»
15 years 4 months ago
A reduction of the NF consistency problem
We give a necessary and sufficient condition in order that a typeshifting automorphism be constructed on a model of the Theory of Simple Types (TST) by forcing. Namely it is prove...
Athanassios Tzouvaras
AUTOMATICA
2002
95views more  AUTOMATICA 2002»
15 years 4 months ago
Series expansions for analytic systems linear in control
This paper presents a series expansion for the evolution of a class of nonlinear systems characterized by constant input vector fields. We present a series expansion that can be c...
Francesco Bullo
CORR
2002
Springer
80views Education» more  CORR 2002»
15 years 4 months ago
Behaviour-based Knowledge Systems: An Epigenetic Path from Behaviour to Knowledge
In this paper we expose the theoretical background underlying our current research. This consists in the development of behaviour-based knowledge systems, for closing the gaps bet...
Carlos Gershenson
MOC
1998
73views more  MOC 1998»
15 years 4 months ago
Efficient Runge-Kutta integrators for index-2 differential algebraic equations
Abstract. In seeking suitable Runge-Kutta methods for differential algebraic equations, we consider singly-implicit methods to which are appended diagonally-implicit stages. Metho...
J. C. Butcher, R. P. K. Chan