7057 search results - page 1037 / 1412 » Tasks, domains, and languages |
168
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
ion-Guided Synthesis of Synchronization Martin Vechev IBM Research Eran Yahav IBM Research Greta Yorsh IBM Research We present a novel framework for automatic inference of effici...
196
click to vote
CICLING
2010
Springer
16 years 1 months ago
2010
Springer
Binary semantic relation extraction from Wikipedia is particularly useful for various NLP and Web applications. Currently frequent pattern miningbased methods and syntactic analysi...
193
click to vote
CICLING
2010
Springer
16 years 1 months ago
2010
Springer
We present an approach for automatic detection of topic change. Our approach is based on the analysis of statistical features of topics in time-sliced corpora and their dynamics ov...
156
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
As software systems continue to grow and evolve, locating code for maintenance and reuse tasks becomes increasingly difficult. Existing static code search techniques using natura...
163
click to vote
VL
2009
IEEE
16 years 1 months ago
2009
IEEE
Jadeite is a new Javadoc-like API documentation system that takes advantage of multiple users’ aggregate experience to reduce difficulties that programmers have learning new API...