Sciweavers

2131 search results - page 10 / 427
» A computational approximation to the AIXI model
Sort
View
ICC
2007
IEEE
142views Communications» more  ICC 2007»
14 years 1 months ago
Reduced-Complexity Cluster Modelling for the 3GPP Channel Model
—The realistic performance of a multi-input multi-output (MIMO) communication system depends strongly on the spatial correlation properties introduced by clustering in the propag...
Hui Xiao, Alister G. Burr, Rodrigo C. de Lamare
DFG
2009
Springer
14 years 2 months ago
A Survey on Approximation Algorithms for Scheduling with Machine Unavailability
In this chapter we present recent contributions in the field of sequential job scheduling on network machines which work in parallel; these are subject to temporary unavailability...
Florian Diedrich, Klaus Jansen, Ulrich M. Schwarz,...
JCNS
2000
67views more  JCNS 2000»
13 years 7 months ago
Renewal-Process Approximation of a Stochastic Threshold Model for Electrical Neural Stimulation
In a recent set of modeling studies we have developed a stochastic threshold model of auditory nerve response to single biphasic electrical pulses (Bruce et al., 1999c) and moderat...
Ian C. Bruce, Laurence S. Irlicht, Mark W. White, ...
FMCAD
2004
Springer
14 years 27 days ago
Approximate Symbolic Model Checking for Incomplete Designs
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
Tobias Nopper, Christoph Scholl
LATIN
2004
Springer
14 years 26 days ago
Approximating the Expressive Power of Logics in Finite Models
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
Argimiro Arratia, Carlos E. Ortiz