3191 search results - page 393 / 639 » Qualitative Modeling in Education |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
This paper presents an evaluation of the design decisions made in four state-of-the-art constraint solvers; Choco, ECLiPSe, Gecode, and Minion. To assess the impact of design deci...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The stability and convergence of the neural networks are the fundamental characteristics in the Hopfield type networks. Since time delay is ubiquitous in most physical and biologi...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
We give a new insight into the upper bounding of the 3-SAT threshold by the first moment method. The best criteria developed so far to select the solutions to be counted discrimina...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
We investigate the multipath fading relay channel in the limit of a large bandwidth, and in the non-coherent setting, where the channel state is unknown to all terminals, including...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The non-repudiation as an essential requirement of many applications can be provided by the asymmetric key model. With the evolution of new applications such as mobile commerce, it...