Sciweavers

3616 search results - page 280 / 724
» Conditional Memory Ordering
Sort
View
155
Voted
CAGD
2005
135views more  CAGD 2005»
15 years 6 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
JSYML
2007
62views more  JSYML 2007»
15 years 6 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 6 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 6 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 6 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