Sciweavers

2790 search results - page 215 / 558
» A generative theory of relevance
Sort
View
JCNS
2002
72views more  JCNS 2002»
15 years 6 months ago
Noise and the PSTH Response to Current Transients: II. Integrate-and-Fire Model with Slow Recovery and Application to Motoneuron
A generalized version of the integrate-and-fire model is presented that qualitatively reproduces firing rates and membrane trajectories of motoneurons. The description is based on ...
Alix Herrmann, Wulfram Gerstner
FSS
2010
111views more  FSS 2010»
15 years 5 months ago
The geometry of consonant belief functions: Simplicial complexes of necessity measures
In this paper we extend the geometric approach to the theory of evidence in order to include the class of necessity measures, represented on a finite domain of “frame” by con...
Fabio Cuzzolin
EMNLP
2010
15 years 4 months ago
Efficient Incremental Decoding for Tree-to-String Translation
Syntax-based translation models should in principle be efficient with polynomially-sized search space, but in practice they are often embarassingly slow, partly due to the cost of...
Liang Huang, Haitao Mi
UTP
2010
15 years 4 months ago
Specification Coverage for Testing in Circus
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
Ana Cavalcanti, Marie-Claude Gaudel
ECEASST
2010
15 years 4 months ago
Open Source Verification under a Cloud
Abstract: An experiment in providing volunteer cloud computing support for automated audits of open source code is described here, along with the supporting theory. Certification a...
Peter T. Breuer, Simon Pickin