Sciweavers

4702 search results - page 46 / 941
» How to Copyright a Function
Sort
View
67
Voted
DSD
2009
IEEE
92views Hardware» more  DSD 2009»
15 years 4 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
102
Voted
IANDC
2010
91views more  IANDC 2010»
14 years 11 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
83
Voted
ATAL
2008
Springer
15 years 2 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
64
Voted
COLING
2000
15 years 1 months 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
99
Voted
NIPS
1994
15 years 1 months 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