4276 search results - page 374 / 856 » Techniques for Empirical Validation |
159
click to vote
SMA
2003
ACM
16 years 3 days ago
2003
ACM
This paper presents a new method to compute constructive solid geometry (CSG) tree representations of an object whose faces consist of planar and non-planar surfaces. The algorith...
184
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
202
click to vote
IMC
2006
ACM
16 years 24 days ago
2006
ACM
This paper addresses the difficult problem of selecting representative samples of peer properties (e.g., degree, link bandwidth, number of files shared) in unstructured peer-to-p...
198
click to vote
OOPSLA
2001
Springer
15 years 11 months ago
2001
Springer
Regression testing is applied to modified software to provide confidence that the changed parts behave as intended and that the unchanged parts have not been adversely affected ...
232
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
We address the problem of estimating human pose in video sequences, where rough location has been determined. We exploit both appearance and motion information by defining suitabl...