2623 search results - page 234 / 525 » tools 2010 |
166
click to vote
PADL
2010
Springer
16 years 3 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 ...
198
Voted
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
An important aspect of collaborative information seeking (CIS) is making sense of the information found, i.e., collaborative sensemaking. We conducted an ethnographic study of the...
171
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
For many software projects, bug tracking systems play a central role in supporting collaboration between the developers and the users of the software. To better understand this co...
199
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Learning object categories from small samples is a challenging problem, where machine learning tools can in general provide very few guarantees. Exploiting prior knowledge may be ...
186
Voted
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Level set method based segmentation provides an efficient tool for topological and geometrical shape handling. Conventional level set surfaces are only C0 continuous since the le...