Sciweavers

654 search results - page 76 / 131
» On Iterative Regularization and Its Application
Sort
View
CVPR
2008
IEEE
16 years 6 months ago
Adaptive parametrization of multivariate B-splines for image registration
We present an adaptive parametrization scheme for dynamic mesh refinement in the application of parametric image registration. The scheme is based on a refinement measure ensuring...
Michael Sass Hansen, Rasmus Larsen, Ben Glocker, N...
ICSE
2004
IEEE-ACM
16 years 4 months ago
A Tool for Writing and Debugging Algebraic Specifications
Despite their benefits, programmers rarely use formal specifications, because they are difficult to write and they require an up front investment in time. To address these issues,...
Johannes Henkel, Amer Diwan
GLVLSI
2009
IEEE
186views VLSI» more  GLVLSI 2009»
15 years 11 months ago
Bitmask-based control word compression for NISC architectures
Implementing a custom hardware is not always feasible due to cost and time considerations. No instruction set computer (NISC) architecture is one of the promising direction to des...
Chetan Murthy, Prabhat Mishra
ESTIMEDIA
2009
Springer
15 years 11 months ago
QoS management of dynamic video tasks by task splitting and skipping
—We have integrated processing with deterministic and non-deterministic resource usage in an overall application and evaluated its performance on a multi-core processor platform....
Rob Albers, Eric Suijs, Peter H. N. de With
BALT
2006
15 years 8 months ago
Pattern Repositories for Software Engineering Education
Abstract. Modern software engineering attacks its complexity problems by applying well-understood development principles. In particular, the systematic adoption of design patterns ...
Hans-Werner Sehring, Sebastian Bossung, Patrick Hu...