6846 search results - page 483 / 1370 » Developing an Active Observer |
152
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we develop an efficient characteristic finite element method (FEM) for solving the magnetic induction equation in magnetohydrodynamics (MHD). We carry out numerical ...
181
click to vote
BIRTHDAY
2004
Springer
15 years 10 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
198
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
We present a new labelled transition system (lts) for the ambient calculus on which ordinary bisimilarity coincides with contextual equivalence. The key feature of this lts is that...
217
click to vote
NIPS
2008
15 years 8 months ago
2008
Object matching is a fundamental operation in data analysis. It typically requires the definition of a similarity measure between the classes of objects to be matched. Instead, we...
221
click to vote
NIPS
2007
15 years 8 months ago
2007
In this paper we model relational random variables on the edges of a network using Gaussian processes (GPs). We describe appropriate GP priors, i.e., covariance functions, for dir...