Sciweavers

1772 search results - page 174 / 355
» The Model Coupling Toolkit
Sort
View
UC
2009
Springer
16 years 28 days 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»
16 years 24 days 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
16 years 23 days 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
16 years 22 days 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
16 years 4 hour 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...