9191 search results - page 16 / 1839 » P2PRealm - peer-to-peer network simulator |
JSC
2010
13 years 2 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
SCHOLARPEDIA
2008
13 years 7 months ago
2008
What are supergranules? Why do they stand out? Preliminary results from realistic simulations of solar convection on supergranule scales (96 Mm wide by 20 Mm deep) are presented. T...
ICDIM
2010
IEEE
13 years 5 months ago
2010
IEEE
Funded as part of the `Network Enabled Platforms' program the Health Services Virtual Organization (HSVO) Project has developed a network-enabled platform (NEP) consisting of...
IJON
2002
13 years 7 months ago
2002
This paper presents a new adaptive procedure for the linear and non-linear separation of signals with non-uniform, symmetrical probability distributions, based on both simulated a...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
— This paper discusses some topics related to the latest trends in the field of evolutionary approaches to iris recognition. It presents the results of an exploratory experimenta...