1887 search results - page 296 / 378 » Annotation Framework Validation Using Domain Models |
114
Voted
GPCE
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...
143
Voted
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
107
Voted
ICIAR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we study the problem of restoring multicomponent images. In particular, we investigate the effects of accounting for the correlation between the image com...
139
Voted
UAI
2000
15 years 3 months ago
2000
Decision theory does not traditionally include uncertainty over utility functions. We argue that the a person's utility value for a given outcome can be treated as we treat o...
134
Voted
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
In this paper, we consider the problem of tracking nonrigid surfaces and propose a generic data-driven mesh deformation framework. In contrast to methods using strong prior models...