Sciweavers

8377 search results - page 1374 / 1676
» Scenarios - Introduction
Sort
View
TSE
2010
123views more  TSE 2010»
15 years 1 months ago
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
Husain Aljazzar, Stefan Leue
TSMC
2010
15 years 1 months ago
Influencing Agent Group Behavior by Adjusting Cultural Trait Values
Social reasoning and norms among individuals that share cultural traits are largely fashioned by those traits. We have explored predominant sociological and cultural traits. We off...
Gaurav Tuli, Henry Hexmoor
TSP
2010
15 years 1 months ago
Generalized discrete Fourier transform with nonlinear phase
Constant modulus transforms like discrete Fourier transform (DFT), Walsh transform, and Gold codes have been successfully used over several decades in several engineering applicati...
Ali N. Akansu, Handan Agirman-Tosun
TSP
2010
15 years 1 months ago
Localization in underwater dispersive channels using the time-frequency-phase continuity of signals
Time-frequency representations constitute the main tool for analysis of nonstationary signals arising in real-life systems. One of the most challenging applications of time-frequen...
Cornel Ioana, Arnaud Jarrot, Cedric Gervaise, Yann...
TSP
2010
15 years 1 months ago
Resource allocation for downlink cellular OFDMA systems: part I: optimal allocation
In this pair of papers (Part I and Part II in this issue), we investigate the issue of power control and subcarrier assignment in a sectorized two-cell downlink OFDMA system impai...
Nassar Ksairi, Pascal Bianchi, Philippe Ciblat, Wa...
« Prev « First page 1374 / 1676 Last » Next »