2702 search results - page 402 / 541 » Practically Applicable Formal Methods |
ATAL
2007
Springer
14 years 3 months ago
2007
Springer
This paper proposes a framework for agent-based distributed machine learning and data mining based on (i) the exchange of meta-level descriptions of individual learning processes ...
CPM
2007
Springer
14 years 3 months ago
2007
Springer
We present a method to speed up the dynamic program algorithms used for solving the HMM decoding and training problems for discrete time-independent HMMs. We discuss the applicatio...
DAGM
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents a novel multi-view camera system that produces real-time single view scene video which sees through the static objects to observe the dynamic objects. The syste...
GECCO
2007
Springer
14 years 3 months ago
2007
Springer
This paper proposes a novel application of differential evolution to solve a difficult dynamic optimisation or optimal control problem. The miss distance in a missile-target engag...
IH
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. A new, simple, approach for active steganography is proposed in this paper that can successfully resist recent blind steganalysis methods, in addition to surviving distor...