Sciweavers

6829 search results - page 217 / 1366
» Quantitative Generalizations of Languages
Sort
View
IUI
2012
ACM
14 years 2 months ago
Towards automatic functional test execution
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...
Pablo Pedemonte, Jalal Mahmud, Tessa Lau
IPMI
1999
Springer
16 years 7 months ago
Spectral Factor Analysis for Multi-isotope Imaging in Nuclear Medicine
In nuclear medicine, simultaneous dual-isotope imaging is used to determine the distribution of two radiotracers from a single acquisition and for emission/transmission (E/T) imagi...
Irène Buvat, S. Hapdey, Habib Benali, Andre...
IWANN
2009
Springer
16 years 1 months ago
Development of Neural Network Structure with Biological Mechanisms
We present an evolving neural network model in which synapses appear and disappear stochastically according to bio-inspired probabilities. These are in general nonlinear functions ...
Samuel Johnson, Joaquín Marro, Jorge F. Mej...
QEST
2006
IEEE
16 years 17 days ago
On Single-Class Load-Dependent Normalizing Constant Equations
Normalizing constant recurrence equations play an important role in the exact analysis of load-independent (LI) product-form queueing networks. However, they have not been extende...
Giuliano Casale
QEST
2006
IEEE
16 years 17 days ago
Bound-Preserving Composition for Markov Reward Models
Stochastic orders can be applied to Markov reward models and used to aggregate models, while introducing a bounded error. Aggregation reduces the number of states in a model, miti...
David Daly, Peter Buchholz, William H. Sanders