1128 search results - page 169 / 226 » Classical Natural Deduction |
149
click to vote
JCSS
2008
15 years 4 months ago
2008
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...
127
Voted
CORR
2007
Springer
15 years 4 months ago
2007
Springer
– This paper deals with enriched qualitative belief functions for reasoning under uncertainty and for combining information expressed in natural language through linguistic label...
135
click to vote
ENGL
2007
15 years 4 months ago
2007
This research introduces a general class of functions serving as generalized neuron models to be used in artificial neural networks. They are cast in the common framework of comp...
118
click to vote
PAMI
2008
15 years 4 months ago
2008
This paper describes BoostMap, a method for efficient nearest neighbor retrieval under computationally expensive distance measures. Database and query objects are embedded into a v...
109
Voted
SIAMSC
2008
15 years 4 months ago
2008
We show how to derive time implicit formulations of relaxation schemes for the Euler equations for real materials in several space dimensions. In the fully time explicit setting, t...