10038 search results - page 1794 / 2008 » Model Checking for Managers |
140
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
We introduce a clustering-based method of subpopulation management in genetic programming (GP) called Evolutionary Tree Genetic Programming (ETGP). The biological motivation behin...
150
click to vote
HIPC
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we describe the design and implementation of a C++ based Common Component Architecture (CCA) framework, XCAT-C++. It can efficiently marshal and unmarshal large data...
171
click to vote
HIPC
2005
Springer
15 years 10 months ago
2005
Springer
Several challenging new applications demand the ability to do data mining on resource constrained devices. One such application is that of monitoring physiological data streams ob...
158
click to vote
HYBRID
2005
Springer
15 years 10 months ago
2005
Springer
This paper focuses on hybrid systems whose discrete state transitions depend on both deterministic and stochastic events. For such systems, after introducing a suitable hybrid mod...
118
click to vote
ICDCIT
2005
Springer
15 years 10 months ago
2005
Springer
An algorithm for time division multiple access (TDMA) is desirable in sensor networks for energy management, as it allows a sensor to reduce the amount of idle listening. Also, TD...