610 search results - page 41 / 122 » Generating Research Websites Using Summarisation Techniques |
CSMR
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper describes a research project concentrating on improving requirements management. We started this research by identifying the problems companies face with respect to req...
COR
2008
2008
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
14 years 9 months ago
In this paper we analyze the application of parallel and sequential evolutionary algorithms (EAs) to the automatic test data generation problem. The problem consists of automatica...
IMR
2003
Springer
15 years 2 months ago
2003
Springer
Generation of surface meshes remains an active research problem despite the many publications addressing this topic. The main issues which must be treated by a good remeshing algo...
VISUALIZATION
2005
IEEE
15 years 3 months ago
2005
IEEE
The rapid increase in the performance of graphics hardware, coupled with recent improvements in its programmability, have made graphics hardware a compelling platform for computat...
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, als...