Sciweavers

2598 search results - page 93 / 520
» The Abstract Immune System Algorithm
Sort
View
JUCS
2002
116views more  JUCS 2002»
13 years 9 months ago
Bounded Flooding Routing Algorithm for Provisioning the Globally Optimal Route in a Hierarchical ATM Network
: ATM virtual path (VP) contains bundles of virtual channels (VCs). A VP layer network can be used as a server layer network of VC layer networks and each VC layer network can be a...
Daniel Won-Kyu Hong, Choong Seon Hong, Dong-Sik Yu...
ETT
2007
90views Education» more  ETT 2007»
13 years 10 months ago
Algorithms and applications of channel impulse response length estimation for MIMO-OFDM
Abstract— The performance of the widely applied timedomain channel estimation for SISO- and MIMO-OFDM systems strongly depends on the preciseness of information regarding maximum...
Marco Krondorf, Ting-Jung Liang, M. Goblirsch, Ger...
ECAI
2010
Springer
13 years 11 months ago
Parallel Model Checking for Temporal Epistemic Logic
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Q...
DATESO
2010
150views Database» more  DATESO 2010»
13 years 8 months ago
Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal
Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as wel...
Martin Kot
BILDMED
2007
272views Algorithms» more  BILDMED 2007»
13 years 11 months ago
Comprehensive Architecture for Simulation of the Human Body Based on Functional Anatomy
Abstract. In this paper we propose a structured approach for the simulation of the human body which is comprehensive and extendable. Our architecture resembles the human organism a...
Sebastian Ullrich, Jakob Valvoda, Andreas Prescher...