1702 search results - page 144 / 341 » Doomed program points |
160
Voted
CORR
2011
Springer
15 years 2 days ago
2011
Springer
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
134
Voted
EUROCAST
2005
Springer
15 years 10 months ago
2005
Springer
Convergence is a central problem in both computer science and in population biology. Will a program terminate? Will a population go to an equilibrium? In general these questions ar...
159
Voted
AMAI
2004
Springer
15 years 10 months ago
2004
Springer
The Minimax Probability Machine (MPM) constructs a classifier, which provides a worst-case bound on the probability of misclassification of future data points based on reliable ...
173
Voted
MOMM
2009
ACM
15 years 9 months ago
2009
ACM
The wide spread of mobiles as handheld devices would naturally lead to various innovative applications that makes use of their ever increasing presence in our daily life. One such...
180
click to vote
AAAI
2010
15 years 6 months ago
2010
Dimensionality reduction is the process by which a set of data points in a higher dimensional space are mapped to a lower dimension while maintaining certain properties of these p...