716 search results - page 42 / 144 » Modelling Bounded Rationality Using Evolutionary Techniques |
ISSTA
2010
ACM
14 years 3 days ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
INFOVIS
2002
IEEE
14 years 3 months ago
2002
IEEE
Visualization is a powerful way to facilitate data analysis, but it is crucial that visualization systems explicitly convey the presence, nature, and degree of uncertainty to user...
AUSAI
2006
Springer
2006
Springer
MML Mixture Models of Heterogeneous Poisson Processes with Uniform Outliers for Bridge Deterioration
14 years 1 months ago
Effectiveness of maintenance programs of existing concrete bridges is highly dependent on the accuracy of the deterioration parameters utilised in the asset management models of th...
ICALP
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents several advances in the understanding of dynamic data structures in the bit-probe model: – We improve the lower bound record for dynamic language membership p...
SIGCOMM
1995
ACM
14 years 1 months ago
1995
ACM
In most network models for quality of service support, the communication links interconnecting the switches and gateways are assumed to have fixed bandwidth and zero error rate. T...