3190 search results - page 80 / 638 » cans 2011 |
199
click to vote
CEC
2011
IEEE
14 years 5 months ago
2011
IEEE
Abstract—A simple, effective, computationally cheap, and easily tuned method is presented for improving PSO performance by automatically adapting acceleration coefficients. Whil...
171
click to vote
CLIMA
2011
2011
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance
14 years 5 months ago
In this paper we extend the logic of violation proposed by [14] with time, more precisely, we temporalise that logic. The resulting system allows us to capture many subtleties of t...
172
click to vote
DAC
2011
ACM
14 years 5 months ago
2011
ACM
We present a high-level synthesis technique that takes as input two orthogonal descriptions: (a) a behavioral architectural contract between the implementation and the user, and (...
309
click to vote
DNA
2011
Springer
14 years 5 months ago
2011
Springer
Sticker complexes are a a formal graph-based data model for a restricted class of DNA complexes, motivated by potential applications to databases. This data model allows for a pure...
160
click to vote
DSN
2011
IEEE
14 years 5 months ago
2011
IEEE
In this work, we study security incidents that occurred over period of 5 years at the National Center for Supercomputing Applications at the University of Illinois. The analysis co...