Sciweavers

4057 search results - page 397 / 812
» Linear combination of transformations
Sort
View
184
Voted
FPL
2007
Springer
190views Hardware» more  FPL 2007»
16 years 1 months ago
Automatic Accuracy-Guaranteed Bit-Width Optimization for Fixed and Floating-Point Systems
In this paper we present Minibit+, an approach that optimizes the bit-widths of fixed-point and floating-point designs, while guaranteeing accuracy. Our approach adopts differen...
William G. Osborne, Ray C. C. Cheung, José ...
185
Voted
EDOC
2006
IEEE
16 years 1 months ago
Model-Driven Dashboards for Business Performance Reporting
Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an approach...
Pawan Chowdhary, Themis Palpanas, Florian Pinel, S...
245
Voted
VEE
2005
ACM
203views Virtualization» more  VEE 2005»
16 years 1 months ago
Inlining java native calls at runtime
We introduce a strategy for inlining native functions into JavaTM applications using a JIT compiler. We perform further optimizations to transform inlined callbacks into semantica...
Levon Stepanian, Angela Demke Brown, Allan Kielstr...
212
Voted
CP
2005
Springer
16 years 1 months ago
Applying Constraint Programming to Rigid Body Protein Docking
In this paper we show how Constraint Programming (CP) techniques can improve the efficiency and applicability of grid-based algorithms for optimising surface contact between comple...
Ludwig Krippahl, Pedro Barahona
219
Voted
HM
2005
Springer
152views Optimization» more  HM 2005»
16 years 1 months ago
3D Inter-subject Medical Image Registration by Scatter Search
Image registration is a very active research area in computer vision, namely it is used to find a transformation between two images taken under different conditions. Point matchi...
Oscar Cordón, Sergio Damas, Jose Santamar&i...