608 search results - page 56 / 122 » Tests, Proofs and Refinements |
86
Voted
BPM
2004
Springer
15 years 4 months ago
2004
Springer
While collaboration has become a basic requirement for many development environments, solutions for collaborative modeling are far from being satisfact1ory. OPCATeam, which relies ...
75
Voted
RE
2008
Springer
14 years 10 months ago
2008
Springer
U.S. laws and regulations are designed to support broad societal goals, such as accessibility, privacy and safety. To demonstrate that a product complies with these goals, busines...
119
Voted
CVPR
2011
IEEE
14 years 4 months ago
2011
IEEE
We propose a reduced algebraic cost based on pairwise epipolar constraints for the iterative refinement of a multiple view 3D reconstruction. The aim is to accelerate the intermedi...
84
Voted
ICPR
2008
IEEE
16 years 4 days ago
2008
IEEE
We propose a 2D model-based approach for tracking human body parts during articulated motion. A human is modeled as a stick figure with thirteen landmarks, and an action is a sequ...
78
Voted
ICSE
1998
IEEE-ACM
15 years 3 months ago
1998
IEEE-ACM
Empirical evaluation of software systems in actual usage situations is critical in software engineering. Prototyping, beta testing, and usability testing are widely used to refine...