8016 search results - page 1451 / 1604 » On the practical genetic algorithms |
108
click to vote
CADE
2005
Springer
16 years 5 days ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
172
click to vote
SIGMOD
2008
ACM
16 years 21 hour ago
2008
ACM
The proliferation of network data in various application domains has raised privacy concerns for the individuals involved. Recent studies show that simply removing the identities ...
115
click to vote
PODS
2008
ACM
16 years 5 hour ago
2008
ACM
We present a novel definition of privacy in the framework of offline (retroactive) database query auditing. Given information about the database, a description of sensitive data, ...
121
click to vote
PODS
2008
ACM
16 years 5 hour ago
2008
ACM
Processing large data streams is now a major topic in data management. The data involved can be truly massive, and the required analyses complex. In a stream of sequential events ...
100
click to vote
EDBT
2006
ACM
16 years 4 hour ago
2006
ACM
Abstract. Mobile objects have become ubiquitous in our everyday lives, ranging from cellular phones to sensors, therefore, analyzing and mining mobile data becomes an interesting p...