8828 search results - page 416 / 1766 » Formal methods in practice |
208
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Describing the collective activity of neural populations is a daunting task: the number of possible patterns grows exponentially with the number of cells, resulting in practically...
224
click to vote
PRL
2011
15 years 1 months ago
2011
In some real world applications, such as spectrometry, functional models achieve better predictive performances if they work on the derivatives of order m of their inputs rather t...
175
click to vote
JISE
2010
15 years 1 months ago
2010
In dealing with large datasets the reduced support vector machine (RSVM) was proposed for the practical objective to overcome the computational difficulties as well as to reduce t...
189
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Inference of evolutionary trees using the maximum likelihood principle is NP-hard. Therefore, all practical methods rely on heuristics. The topological transformations...
194
click to vote
FC
2007
Springer
16 years 1 months ago
2007
Springer
Onion routing is a scheme for anonymous communication that is designed for practical use. Until now, however, it has had no formal model and therefore no rigorous analysis of its a...