1497 search results - page 160 / 300 » Extended static checking |
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
Multimodal optimization algorithms inspired by the immune system are generally characterized by a dynamic control of the population size and by diversity maintenance along the sea...
98
Voted
SCAM
2003
IEEE
15 years 6 months ago
2003
IEEE
Program slice is a set of statements that affect the value of variable v in a statement s. In order to calculate a program slice, we must know the dependence relations between sta...
113
click to vote
ASPLOS
2000
ACM
15 years 5 months ago
2000
ACM
One of the major challenges of post-PC computing is the need to reduce energy consumption, thereby extending the lifetime of the batteries that power these mobile devices. Memory ...
115
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
We propose a framework that brings together two major forms of default reasoning in Artificial Intelligence: applying default property classification rules in static domains, and d...
107
Voted
NIPS
2008
15 years 2 months ago
2008
Conditional Random Sampling (CRS) was originally proposed for efficiently computing pairwise (l2, l1) distances, in static, large-scale, and sparse data. This study modifies the o...