Sciweavers

4702 search results - page 46 / 941
» How to Copyright a Function
Sort
View
DSD
2009
IEEE
92views Hardware» more  DSD 2009»
14 years 2 months ago
Synthesizing Reversible Circuits for Irreversible Functions
Many reversible circuit synthesis procedures have been proposed. A common feature of most methods is that the initial specification must be a completely-specified reversible functi...
D. Michael Miller, Robert Wille, Gerhard W. Dueck
IANDC
2010
91views more  IANDC 2010»
13 years 9 months ago
Functional interpretations of linear and intuitionistic logic
This article shows how different functional interpretations can be combined into what we term hybrid functional interpretations. These hybrid interpretations work on the setting o...
Paulo Oliva
ATAL
2008
Springer
14 years 1 months ago
Reaction functions for task allocation to cooperative agents
In this paper, we present ARF, our initial effort at solving taskallocation problems where cooperative agents need to perform tasks simultaneously. An example is multi-agent routi...
Xiaoming Zheng, Sven Koenig
COLING
2000
14 years 10 days ago
Toward a Scoring Function for Quality-Driven Machine Translation
We describe how we constructed an automatic scoring function for machine translation quality; this function makes use of arbitrarily many pieces of natural language processing sof...
Douglas A. Jones, Gregory M. Rusk
NIPS
1994
14 years 9 days ago
Combining Estimators Using Non-Constant Weighting Functions
This paper discusses the linearly weighted combination of estimators in which the weighting functions are dependent on the input. We show that the weighting functions can be deriv...
Volker Tresp, Michiaki Taniguchi