2173 search results - page 321 / 435 » Building computer models from small pieces |
154
click to vote
QEST
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
134
click to vote
BIOADIT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Simple linear readouts from generic neural microcircuit models can be trained to generate and control basic movements, e.g., reaching with an arm to various target points...
152
click to vote
HAPTICS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper proposes a new method for real-time rigid body simulations based on a volumetric penalty method. The penalty method, which employs spring-damper model, is a simple and ...
141
click to vote
ASIACRYPT
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Construction of secure hyperelliptic curves is of most important yet most difficult problem in design of cryptosystems based on the discrete logarithm problems on hyperel...
121
click to vote
NIPS
2000
15 years 5 months ago
2000
Experimental data show that biological synapses behave quite differently from the symbolic synapses in common artificial neural network models. Biological synapses are dynamic, i....