27827 search results - page 530 / 5566 » Generating |
146
Voted
TAP
2008
Springer
15 years 4 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
149
Voted
IR
2007
15 years 4 months ago
2007
Word form normalization through lemmatization or stemming is a standard procedure in information retrieval because morphological variation needs to be accounted for and several la...
149
click to vote
CCR
2005
15 years 4 months ago
2005
There exist a wide variety of network design problems that require a traffic matrix as input in order to carry out performance evaluation. The research community has not had at it...
138
Voted
CGF
2005
15 years 4 months ago
2005
This paper proposes a novel and general method of glare generation based on wave optics. A glare image is regarded as a result of Fraunhofer diffraction, which is equivalent to a ...
129
click to vote
CMOT
2000
15 years 4 months ago
2000
This paper reports on the development of a comprehensive framework for the analysis and formulation of bids in competitive electricity markets. Competing entities submit offers of...