Sciweavers

1140 search results - page 179 / 228
» A Model Driven Framework for IT Transformation
Sort
View
WADS
2007
Springer
89views Algorithms» more  WADS 2007»
16 years 9 days ago
Dynamic TCP Acknowledgment with Sliding Window
The dynamic TCP acknowledgement problem formulated by Dooly et al. has been intensively studied in the area of competitive analysis. However, their framework does not consider the ...
Hisashi Koga
ICIP
2008
IEEE
16 years 8 months ago
Optical flow based tracking and retexturing of garments
In this paper, we present a method for tracking and retexturing of garments that exploits the entire image information using the optical flow constraint instead of working with di...
Anna Hilsmann, Peter Eisert
ACSAC
2005
IEEE
15 years 11 months ago
Fault Attacks on Dual-Rail Encoded Systems
Fault induction attacks are a serious concern for designers of secure embedded systems. An ideal solution would be a generic circuit transformation that would produce circuits tha...
Jason Waddle, David Wagner
FLOPS
2004
Springer
15 years 11 months ago
Semantics of Linear Continuation-Passing in Call-by-Name
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
Masahito Hasegawa
ECAI
2006
Springer
15 years 8 months ago
Calibrating Probability Density Forecasts with Multi-Objective Search
Abstract. In this paper, we show that the optimization of density forecasting models for regression in machine learning can be formulated as a multi-objective problem. We describe ...
Michael Carney, Padraig Cunningham