10038 search results - page 1831 / 2008 » Model Checking for Managers |
176
click to vote
DAWAK
2006
Springer
15 years 8 months ago
2006
Springer
Recently, the data stream, which is an unbounded sequence of data elements generated at a rapid rate, provides a dynamic environment for collecting data sources. It is likely that ...
144
click to vote
EDBTW
2006
Springer
15 years 8 months ago
2006
Springer
Querying live media streams is a challenging problem that becomes an essential requirement in a growing number of applications. We address the problem of evaluating continuous quer...
154
click to vote
ERCIMDL
2006
Springer
15 years 8 months ago
2006
Springer
The advent of digital libraries along with the tremendous growth of digital content call for distributed and scalable approaches for managing vast data collections. Peer-to-peer (P...
118
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents a new method for 3D cutting of geometrical space with application to airspace sectoring. This problem comes from the air traffic management but the proposed me...
143
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
A boosting algorithm based on cellular genetic programming to build an ensemble of predictors is proposed. The method evolves a population of trees for a fixed number of rounds an...