We consider the problem of dynamically indexing temporal observations about a collection of objects, each observation consisting of a key identifying the object, a list of attribu...
The development of the adjoint of the forecast model and of the adjoint of the data assimilation system (adjoint-DAS) make feasible the evaluation of the derivative-based forecast...
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pet...
The problem of jointly detecting multiple objects and estimating their states from image observations is formulated in a Bayesian framework by modeling the collection of states as ...
Ba-Ngu Vo, Ba-Tuong Vo, Nam-Trung Pham, David Sute...
We discuss the tensions between intensionality and extensionality of spatial observations in distributed systems, showing that there are natural models where extensional observati...