Sciweavers

6693 search results - page 327 / 1339
» On an anytime algorithm for control
Sort
View
FROCOS
2007
Springer
16 years 28 days ago
Combining Algorithms for Deciding Knowledge in Security Protocols
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
Mathilde Arnaud, Véronique Cortier, St&eacu...
DRM
2005
Springer
16 years 9 days ago
Statistical audio watermarking algorithm based on perceptual analysis
In this paper, we describe a novel statistical audio watermarking scheme. Under the control of the masking thresholds, watermark is embedded adaptively and transparently in the pe...
Xiaomei Quan, Hongbin Zhang
HYBRID
2010
Springer
15 years 12 months ago
Distributed Kalman Filter algorithms for self-localization of mobile devices
This paper addresses the problem of self localization of mobile devices. In particular, each device combines noisy measurements of its absolute position with distance measurements...
Anne-Kathrin Hess, Anders Rantzer
HAIS
2009
Springer
15 years 11 months ago
A Thermodynamical Model Study for an Energy Saving Algorithm
A local Spanish company that produces electric heaters needs an energy saving device to be integrated with the heaters. It was proven that a hybrid artificial intelligent systems (...
Enrique A. de la Cal, José Ramón Vil...
DAGM
2007
Springer
15 years 10 months ago
Efficient Learning of Neural Networks with Evolutionary Algorithms
Abstract. In this article we present EANT2, a method that creates neural networks (NNs) by evolutionary reinforcement learning. The structure of NNs is developed using mutation ope...
Nils T. Siebel, Jochen Krause, Gerald Sommer