16725 search results - page 3027 / 3345 » Engineering Software Correctness |
225
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
Traditional parser generation technologies are incapable of handling the demands of modern programmers. In this paper, we present the design and theory of a new parsing engine, YA...
151
click to vote
ICDM
2009
IEEE
15 years 11 months ago
2009
IEEE
—Identifying modules, or natural communities, in large complex networks is fundamental in many fields, including social sciences, biological sciences and engineering. Recently s...
150
click to vote
ISCA
2009
IEEE
15 years 11 months ago
2009
IEEE
While Moore’s Law predicts the ability of semi-conductor industry to engineer smaller and more efficient transistors and circuits, there are serious issues not contemplated in t...
168
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
Users frequently modify a previous search query in hope of retrieving better results. These modifications are called query reformulations or query refinements. Existing research h...
156
click to vote
SMA
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, we present a semi-automatic approach to efficiently and robustly recover the characteristic feature curves of a given free-form surface. The technique supports a s...