4650 search results - page 378 / 930 » Generating and evaluating evaluative arguments |
251
click to vote
ISVC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We have developed a new semi-automated method for segmenting images of biological cells seeded at low density on tissue culture substrates, which we use to improve the ge...
236
click to vote
RE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract The generation of traceability links or traceability matrices is vital to many software engineering activities. It is also person-power intensive, time-consuming, error-pr...
206
click to vote
SPIN
2010
Springer
15 years 6 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
215
Voted
ICST
2009
IEEE
15 years 5 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
259
click to vote
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
People detection is an important task for a wide range of applications in computer vision. State-of-the-art methods learn appearance based models requiring tedious collection and ...