589 search results - page 22 / 118 » A Language for Multi-dimensional Updates |
IFIP
2005
Springer
14 years 1 months ago
2005
Springer
A new quasi-Newton scheme for updating a low rank positive semi-definite Hessian approximation is described, primarily for use in sequential quadratic programming methods for non...
IMTCI
2004
Springer
14 years 1 months ago
2004
Springer
We present a new approach to the grid technology that is based on updateable views. Views are used in two ways: (1) as wrappers of local servers that adopt local schemata to the fe...
KI
2001
Springer
14 years 8 days ago
2001
Springer
High-level controllers that operate robots in dynamic, uncertain domains are concerned with at least two reasoning tasks dealing with the effects of noisy sensors and effectors: T...
ACTA
2010
13 years 8 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
ICDE
2002
IEEE
14 years 9 months ago
2002
IEEE
Besides being adopted as the new interchange format for the Internet, XML is finding increasing acceptance as a native data repository language. In order to make XML repositories ...