2905 search results - page 307 / 581 » Formal Memetic Algorithms |
182
click to vote
SIGMOD
2005
ACM
16 years 1 months ago
2005
ACM
We present techniques for privacy-preserving computation of multidimensional aggregates on data partitioned across multiple clients. Data from different clients is perturbed (rand...
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
Large networks, such as the Internet, pose an ideal medium for solving computationally intensive problems, such as NP-complete problems, yet no well-scaling architecture for Inter...
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
112
click to vote
SOFSEM
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Smart play-out is a method for executing declarative scenariobased specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping t...
121
click to vote
SOFSEM
2009
Springer
15 years 10 months ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...