2702 search results - page 141 / 541 » Practically Applicable Formal Methods |
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract—In this study, a robust minimum variance beamformer (RMVB) is employed for source reconstruction in simultaneous MEG and local field potential (LFP) measurements. RMVB ...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
This paper presents a novel time-adaptive estimation technique by revisiting the classical Wiener-Hopf equation. Any convex and not necessarily differentiable function can be used...
109
click to vote
EKAW
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. Dealing with heterogeneous ontologies by means of semantic mappings has become an important area of research and a number of systems for discovering mappings between onto...
IFM
2009
Springer
15 years 4 months ago
2009
Springer
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
MICAI
2000
Springer
15 years 1 months ago
2000
Springer
Artificial Neural Networks (ANN) are an emerging technology, yet, in continuous dynamic behavior, much work has been done to attempt to generate a formal method to design a contro...