6120 search results - page 79 / 1224 » The Power of Linear Functions |
149
Voted
MJ
2007
15 years 4 months ago
2007
Recent algorithmic advances in Boolean satisfiability (SAT), along with highly efficient solver implementations, have enabled the successful deployment of SAT technology in a wi...
158
Voted
CAV
2006
Springer
15 years 9 months ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
154
click to vote
ISBI
2004
IEEE
16 years 6 months ago
2004
IEEE
The models used for analyzing functional MRI (fMRI) data have profound impact on the detection of active brain areas. In this paper temporal and spatial linear subspace models for...
132
click to vote
NN
2008
Springer
15 years 5 months ago
2008
Springer
This paper presents two k-winners-take-all (k-WTA) networks with discontinuous activation functions. The k-WTA operation is first converted equivalently into linear and quadratic ...
143
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
The Glottal Source is an important component of voice as it can be considered as the excitation signal to the voice apparatus. Nowadays, new techniques of speech processing such a...