5692 search results - page 394 / 1139 » Challenges and Unsolved Problems |
149
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
263
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
We address an unsupervised object detection and segmentation problem that goes beyond the conventional assumptions of one-to-one object correspondences or model-test settings betwe...
216
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
This paper addresses action spotting, the spatiotemporal detection and localization of human actions in video. A novel compact local descriptor of video dynamics in the context of...
205
click to vote
MCS
2010
Springer
16 years 1 months ago
2010
Springer
One of the challenges in unsupervised machine learning is finding the number of clusters in a dataset. Clustering Validity Indices (CVI) are popular tools used to address this pro...
165
click to vote
TMA
2010
Springer
16 years 1 months ago
2010
Springer
Collecting and exploring monitoring data is becoming increasingly challenging as networks become larger and faster. Solutions based on both SQL-databases and specialized binary for...