4276 search results - page 249 / 856 » Techniques for Empirical Validation |
201
click to vote
JOT
2010
15 years 5 months ago
2010
Abstract We propose a novel testing technique for object-oriented programs. Based on the state and activity models of a system, we construct an intermediate representation, which w...
202
click to vote
COMAD
2009
15 years 4 months ago
2009
The continuous and rapid advent in mobile and communications technology opens the way for new research areas and new applications. Moving Object Databases(MODs) are among the emer...
238
click to vote
DKE
2011
15 years 1 months ago
2011
We propose a novel approach to facilitate the concurrent development of ontologies by different groups of experts. Our approach adapts Concurrent Versioning, a successful paradigm...
176
click to vote
TKDE
2008
15 years 6 months ago
2008
Secure chips, e.g., present in smart cards, USB dongles, i-buttons, are now ubiquitous in applications with strong security requirements. Moreover, they require embedded data manag...
193
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
We address the problem of reconstructing the 3-D shape of a Lambertian surface from multiple images acquired as an object rotates under distant and possibly varying illumination. ...