1824 search results - page 151 / 365 » Practices and Techniques for Engineering Process Capability ... |
117
click to vote
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
136
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
A well-built dataset is a necessary starting point for advanced computer vision research. It plays a crucial role in evaluation and provides a continuous challenge to stateof-the-...
143
click to vote
ISSRE
2010
IEEE
15 years 2 months ago
2010
IEEE
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
128
click to vote
IJCAI
2003
15 years 5 months ago
2003
Conventional methods used for the interpretation of activation data provided by functional neuroimaging techniques provide useful insights on what the networks of cerebral structu...
162
click to vote
IFIP12
2004
15 years 5 months ago
2004
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...