Sciweavers

1772 search results - page 174 / 355
» The Model Coupling Toolkit
Sort
View
UC
2009
Springer
15 years 9 months ago
Resource-Competing Oscillator Network as a Model of Amoeba-Based Neurocomputer
Abstract. An amoeboid organism, Physarum, exhibits rich spatiotemporal oscillatory behavior and various computational capabilities. Previously, the authors created a recurrent neur...
Masashi Aono, Yoshito Hirata, Masahiko Hara, Kazuy...
VTC
2008
IEEE
128views Communications» more  VTC 2008»
15 years 9 months ago
Modeling and Capacity of Polarized MIMO Channels
Abstract—In this work the modeling and capacity of a dual polarized (DP) MIMO channel is addressed. The modeling includes channel parameters such as receive and transmit correlat...
Mikael Coldrey
CSFW
2007
IEEE
15 years 9 months ago
LTL Model Checking for Security Protocols
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
Alessandro Armando, Roberto Carbone, Luca Compagna
ICIP
2007
IEEE
15 years 9 months ago
Dynamic Audio-Visual Mapping using Fused Hidden Markov Model Inversion Method
Realistic audio-visual mapping remains a very challenging problem. Having short time delay between inputs and outputs is also of great importance. In this paper, we present a new ...
Le Xin, Jianhua Tao, Tieniu Tan
IRI
2005
IEEE
15 years 8 months ago
Modeling methodology for application development in petroleum industry
The development of applications for monitoring, control, simulation and diagnosis in the petroleum industry involves a multitude of complex software tools. These tools have their ...
Cong Zhang, Viktor K. Prasanna, Abdollah Orangi, W...