2794 search results - page 154 / 559 » A New Architecture for Automated Modelling |
ETFA
2005
IEEE
15 years 5 months ago
2005
IEEE
The X-by-Wire systems in cars can only be accepted if they provide at least the same dependability than the traditional ones. In this paper we propose a new approach to evaluate t...
81
Voted
CADE
2006
Springer
15 years 12 months ago
2006
Springer
In this paper we introduce several new improvements to the bottom-up model generation (BUMG) paradigm. Our techniques are based on non-trivial transformations of first-order probl...
92
Voted
ICPR
2004
IEEE
16 years 23 days ago
2004
IEEE
It was recently proposed the use of Bayesian networks for object tracking. Bayesian networks allow to model the interaction among detected trajectories, in order to obtain a relia...
DEXA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The development of scalable parallel database systems requires the design of efficient algorithms for the join operation which is the most frequent and expensive operatio...
89
Voted
DRM
2004
Springer
15 years 5 months ago
2004
Springer
This paper describes a security architecture allowing digital rights management in home networks consisting of consumer electronic devices. The idea is to allow devices to establi...