2588 search results - page 431 / 518 » Applications of Kolmogorov complexity to computable model th... |
KDD
2009
ACM
16 years 6 days ago
2009
ACM
Spatial classification is the task of learning models to predict class labels based on the features of entities as well as the spatial relationships to other entities and their fe...
198
click to vote
POPL
2005
ACM
15 years 12 months ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
100
click to vote
LCTRTS
2010
Springer
15 years 6 months ago
2010
Springer
For its high overall cost during product development, program debugging is an important aspect of system development. Debugging is a hard and complex activity, especially in time-...
114
click to vote
WEBNET
1997
15 years 1 months ago
1997
The health care industry in the United States has been experiencing substantial and ever increasing cost pressures. At the same time, many forces are revolutionizing the way healt...
111
click to vote
ICCV
2009
IEEE
16 years 4 months ago
2009
IEEE
We propose a novel approach for multi-person trackingby-
detection in a particle filtering framework. In addition
to final high-confidence detections, our algorithm uses the
con...