3604 search results - page 658 / 721 » All Common Subsequences |
124
click to vote
ICSE
2010
IEEE-ACM
15 years 1 months ago
2010
IEEE-ACM
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
122
click to vote
CAV
2008
Springer
15 years 1 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
111
click to vote
ISSTA
2010
ACM
15 years 1 months ago
2010
ACM
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
CIKM
2008
Springer
15 years 1 months ago
2008
Springer
The task addressed in this paper, finding experts in an enterprise setting, has gained in importance and interest over the past few years. Commonly, this task is approached as an ...
103
click to vote
CIKM
2008
Springer
15 years 1 months ago
2008
Springer
In this work we try to bridge the gap often encountered by researchers who find themselves with few or no labeled examples from their desired target domain, yet still have access ...