589 search results - page 22 / 118 » A Language for Multi-dimensional Updates |
IFIP
2005
Springer
15 years 3 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...
150
click to vote
IMTCI
2004
Springer
15 years 3 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
15 years 2 months 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
14 years 10 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...
168
click to vote
ICDE
2002
IEEE
15 years 11 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 ...