2681 search results - page 240 / 537 » Problem F |
99
Voted
PADL
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We address the problem of detecting some commonly occurring kinds of race conditions in Erlang programs using static analysis. Our analysis is completely automatic, fast ...
100
Voted
ICDE
2010
IEEE
15 years 7 months ago
2010
IEEE
— One of the most prominent data quality problems is the existence of duplicate records. Current data cleaning systems usually produce one clean instance (repair) of the input da...
82
Voted
ASM
2010
ASM
15 years 7 months ago
2010
ASM
Identifying a minimal unsatisfiable core in an Alloy model proved to be a very useful feature in many scenarios. We extend this concept to hot core, an approximation to unsat core...
99
Voted
ISBI
2009
IEEE
15 years 7 months ago
2009
IEEE
Image segmentation is an essential step in many image analysis pipelines and many algorithms have been proposed to solve this problem. However, they are often evaluated subjective...
114
Voted
SAC
2009
ACM
15 years 7 months ago
2009
ACM
Incorporating background knowledge into data mining algorithms is an important but challenging problem. Current approaches in semi-supervised learning require explicit knowledge p...