311 search results - page 16 / 63 » Conservative Dual Consistency |
TPHOL
2002
IEEE
14 years 1 months ago
2002
IEEE
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
CN
2002
13 years 8 months ago
2002
This paper provides means for performance evaluation of a queue with Poisson Pareto Burst Process (PPBP) input. Because of the long range dependent nature of the PPBP, straightfor...
ALT
2006
Springer
14 years 5 months ago
2006
Springer
Abstract. The present study aims at insights into the nature of incremental learning in the context of Gold’s model of identification in the limit. With a focus on natural requi...
SIBGRAPI
2006
IEEE
14 years 2 months ago
2006
IEEE
In this work we propose a method for the polygonization of octree-based reconstructions by dual contouring. Dual contouring is an adaptive method for determining contiguous polygo...
CVIU
2008
13 years 8 months ago
2008
In this paper we introduce a novel method to address minimization of static and dynamic MRFs. Our approach is based on principles from linear programming and, in particular, on pr...