4276 search results - page 620 / 856 » Techniques for Empirical Validation |
202
click to vote
WCRE
2010
IEEE
15 years 4 months ago
2010
IEEE
—Often stakeholders, such as developers, managers, or buyers, want to find out what software development processes are being followed within a software project. Their reasons in...
186
click to vote
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
186
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
W e address an open and hitherto neglected problem in computer vision, how to reconstruct the geometry of objects with arbitrary and possibly anisotropic bidirectional reflectance...
307
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
In a mobile service scenario, users query a server for nearby points of interest but they may not want to disclose their locations to the service. Intuitively, location privacy may...
296
click to vote
ICDE
2007
IEEE
16 years 7 months ago
2007
IEEE
Incompleteness due to missing attribute values (aka "null values") is very common in autonomous web databases, on which user accesses are usually supported through media...