621 search results - page 72 / 125 » Model Checking Probabilistic Distributed Systems |
GECCO
2004
Springer
14 years 1 months ago
2004
Springer
This paper discusses the performance of a hybrid system which consists of EDP and GP. EDP, Estimation of Distribution Programming, is the program evolution method based on the prob...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Critical infrastructures have some of the characteristic properties of complex systems. They exhibit infrequent large failures events. These events, though infrequent, often obey ...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Critical infrastructures have some of the characteristic properties of complex systems. They exhibit infrequent large failures events. These events, though infrequent, often obey ...
ICVGIP
2004
13 years 9 months ago
2004
This paper presents an approach for a multi-cue, viewbased recognition of gestures. We describe an exemplarbased technique that combines two different forms of exemplars - shape e...
ICDE
2002
IEEE
14 years 9 months ago
2002
IEEE
Large sensor networks are being widely deployed for measurement, detection, and monitoring applications. Many of these applications involve database systems to store and process d...