Sciweavers

468 search results - page 7 / 94
» Computationally Feasible Automated Mechanism Design: General...
Sort
View
ICCAD
1994
IEEE
134views Hardware» more  ICCAD 1994»
13 years 10 months ago
Boolean constrained encoding: a new formulation and a case study
1 This paper provides a new, generalized approach to the problem of encoding information as vectors of binary digits. We furnish a formal definition for the Boolean constrained enc...
Ney Laert Vilar Calazans
SASO
2007
IEEE
14 years 29 days ago
Self-organizing Replica Placement - A Case Study on Emergence
The concept of self-organization is rapidly gaining importance in the area of distributed computing systems. However, we still lack the necessary means for engineering such system...
Klaus Herrmann
TSMC
2010
13 years 1 months ago
Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
Ryan Robidoux, Haiping Xu, Liudong Xing, MengChu Z...
EICS
2010
ACM
13 years 11 months ago
How assessing plasticity design choices can improve UI quality: a case study
In Human Computer Interaction, plasticity refers to the capacity of User Interfaces (UIs) to withstand variations of context of use while preserving quality in use. Frequently, in...
Audrey Serna, Gaëlle Calvary, Dominique L. Sc...
GECCO
2006
Springer
181views Optimization» more  GECCO 2006»
13 years 10 months ago
Designing safe, profitable automated stock trading agents using evolutionary algorithms
Trading rules are widely used by practitioners as an effective means to mechanize aspects of their reasoning about stock price trends. However, due to the simplicity of these rule...
Harish Subramanian, Subramanian Ramamoorthy, Peter...