Sciweavers

156 search results - page 21 / 32
» Automatic Inference of Class Invariants
Sort
View
ISPA
2005
Springer
14 years 1 months ago
CMSA: A Method for Construction and Maintenance of Semantic Annotations
An important precondition for the success of the Semantic Web is founded on the principle that the content of web pages will be semantically annotated. In this paper, we propose a ...
Lixin Han, Guihai Chen, Linping Sun, Li Xie
IEEEAMS
2003
IEEE
14 years 28 days ago
JAGR: An Autonomous Self-Recovering Application Server
This paper demonstrates that the dependability of generic, evolving J2EE applications can be enhanced through a combination of a few recovery-oriented techniques. Our goal is to r...
George Candea, Emre Kiciman, Steve Zhang, Pedram K...
CVIU
2011
12 years 11 months ago
Single and sparse view 3D reconstruction by learning shape priors
In this paper, we aim to reconstruct free-form 3D models from only one or few silhouettes by learning the prior knowledge of a specific class of objects. Instead of heuristically...
Yu Chen, Roberto Cipolla
SLSFS
2005
Springer
14 years 1 months ago
Constructing Visual Models with a Latent Space Approach
We propose the use of latent space models applied to local invariant features for object classification. We investigate whether using latent space models enables to learn patterns...
Florent Monay, Pedro Quelhas, Daniel Gatica-Perez,...
BIRTHDAY
2003
Springer
13 years 11 months ago
Aspect Validation Using Model Checking
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
Shmuel Katz, Marcelo Sihman