Sciweavers

692 search results - page 28 / 139
» Combinatorics of Partial Derivatives
Sort
View
PPDP
2005
Springer
15 years 7 months ago
Self-tuning resource aware specialisation for prolog
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...
Stephen-John Craig, Michael Leuschel
96
Voted
ICC
2007
IEEE
15 years 8 months ago
Partial Decoding for Synchronous and Asynchronous Gaussian Multiple Relay Channels
— Relaying diversity is a key technology to increase capacity in wireless networks. In this paper, the capacity of a single source-destination wireless channel, aided by a set of...
Aitor del Coso, Christian Ibars
ICMCS
2005
IEEE
85views Multimedia» more  ICMCS 2005»
15 years 7 months ago
Fast Search Method for Image Vector Quantization Based on Equal-Average Equal-Variance and Partial Sum Concept
The encoding process of image vector quantization (VQ) is very heavy due to it performing a lot of k-dimensional Euclidean distance computations. In order to speed up VQ encoding,...
Zhibin Pan, Koji Kotani, Tadahiro Ohmi
FORMATS
2007
Springer
15 years 5 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
ATAL
2010
Springer
15 years 3 months ago
Risk-sensitive planning in partially observable environments
Partially Observable Markov Decision Process (POMDP) is a popular framework for planning under uncertainty in partially observable domains. Yet, the POMDP model is riskneutral in ...
Janusz Marecki, Pradeep Varakantham