3793 search results - page 367 / 759 » An Object Data Model with Roles |
197
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
196
click to vote
IGARSS
2010
15 years 4 months ago
2010
Sequential multi-sensor satellite images are used for the computation of mesoscale surface currents in the Northern and Southern Baltic Proper. Different marine surface films and ...
166
click to vote
WSC
2004
15 years 8 months ago
2004
Navy personnel use the REMUS unmanned underwater vehicle to search for submerged objects. Navigation inaccuracies lead to errors in predicting the location of objects and thus inc...
188
click to vote
EMNLP
2009
15 years 4 months ago
2009
Virtual evidence (VE), first introduced by (Pearl, 1988), provides a convenient way of incorporating prior knowledge into Bayesian networks. This work generalizes the use of VE to...
179
click to vote
ACTAC
1998
15 years 6 months ago
1998
In a semi-structured database there is no clear separation between the data and the schema, and the degree to which it is structured depends on the application. Semi-structured da...