4341 search results - page 423 / 869 » Quantitative Model checking |
170
click to vote
JCNS
2000
15 years 6 months ago
2000
Hodgkin and Huxley provided the first quantitative description of voltage-dependent currents and adjusted their model to experimental data using empirical functions of voltage. A p...
201
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—Despite much research on the throughput of relaying networks under idealized interference models, many practical wireless networks rely on physical-layer protocols that preclude...
218
click to vote
SAB
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Symmetry breaking is commonly found in self-organized collective decision making. It serves an important functional role, specifically in biological and bio-inspired sys...
216
click to vote
CLIMA
2009
15 years 4 months ago
2009
Abstract. No intelligent decision support system functions even remotely without knowing the preferences of the user. A major problem is that the way average users think about and ...
199
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
One of the difficulties in second language (L2) learning is the weakness in discriminating between acoustic diversity within an L2 phoneme category and between different categori...