142 search results - page 8 / 29 » Variability encoding: From compile-time to load-time variabi... |
131
Voted
NCA
2002
IEEE
15 years 3 months ago
2002
IEEE
One of the key problems in forming a smooth model from input-output data is the determination of which input variables are relevant in predicting a given output. In this paper we ...
151
click to vote
SARA
2009
Springer
15 years 10 months ago
2009
Springer
We study novel approaches for solving of hard combinatorial problems by translation to Boolean Satisfiability (SAT). Our focus is on combinatorial problems that can be represented...
111
click to vote
ENTCS
2008
15 years 3 months ago
2008
This paper presents a game semantics for a simply-typed -calculus equipped with quantum stores. The quantum stores are equipped with quantum operations as commands which give the ...
145
Voted
HASKELL
2006
ACM
15 years 9 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
126
Voted
NECO
2007
15 years 2 months ago
2007
Analog neural signals must be converted into spike trains for transmission over electrically leaky axons. This spike encoding and subsequent decoding leads to distortion. We quant...