Sciweavers

3052 search results - page 210 / 611
» Weakly Distributive Domains
Sort
View
FAC
2008
123views more  FAC 2008»
15 years 6 months ago
Interface synthesis and protocol conversion
Given deterministic interfaces P and Q, we investigate the problem of synthesising an interface R such that P composed with R refines Q. We show that a solution exists iff P and Q ...
Purandar Bhaduri, S. Ramesh
MTA
2007
122views more  MTA 2007»
15 years 6 months ago
Geometrically invariant watermarking: synchronization through circular Hough transform
This paper addresses a geometrically invariant watermarking method for digital images. Most previous watermarking algorithms perform weakly against geometric distortions, which des...
Hae-Yeoun Lee, Choong-Hoon Lee, Heung-Kyu Lee
RE
2008
Springer
15 years 6 months ago
A Case Study in Eliciting Scalability Requirements
Scalability is widely recognized as an important software quality, but it is a quality that historically has lacked a consistent and systematic treatment. To address this problem,...
Leticia Duboc, Emmanuel Letier, David S. Rosenblum...
SIAMSC
2010
108views more  SIAMSC 2010»
15 years 5 months ago
Goal-Oriented Error Estimation and Adaptivity for Free-Boundary Problems: The Shape-Linearization Approach
Abstract. We develop duality-based a posteriori error estimates for functional outputs of solutions of free-boundary problems via shape-linearization principles. To derive an appro...
K. G. van der Zee, E. H. van Brummelen, R. de Bors...
CAGD
2011
15 years 1 months ago
Regularization of B-spline objects
By a d-dimensional B-spline object (denoted as Od ), we mean a B-spline curve (d = 1), a B-spline surface (d = 2) or a B-spline volume (d = 3). By regularization of a B-spline obj...
Guoliang Xu, Chandrajit L. Bajaj