741 search results - page 59 / 149 » Testing in the year 2020 |
COR
2008
15 years 1 months ago
2008
Locating public services for nomadic population groups is a difficult challenge as the locations of the targeted populations seasonally change. In this paper, the population group...
104
click to vote
SAT
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The past few years have seen significant progress in algorithms and heuristics for both SAT and symmetry detection. Additionally, the thesis that some of SAT's intra...
TAP
2010
Springer
14 years 11 months ago
2010
Springer
An important component of Empirical Software Engineering (ESE) research involves the measurement, observation, analysis and understanding of software engineering in practice. Resul...
ACL
2009
14 years 11 months ago
2009
Tree-based statistical machine translation models have made significant progress in recent years, especially when replacing 1-best trees with packed forests. However, as the parsi...
ECEASST
2010
14 years 10 months ago
2010
Abstract: The need of confidence that a product or service actually possesses declared behavioural / structural characteristics is the main reason for certification. It seems that ...