Sciweavers

844 search results - page 11 / 169
» The strength of multi-row models
Sort
View
FM
1999
Springer
97views Formal Methods» more  FM 1999»
14 years 22 days ago
Sensors and Actuators in TCOZ
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
Brendan P. Mahony, Jin Song Dong
AAAI
2006
13 years 10 months ago
AI Support for Building Cognitive Models
Cognitive modeling techniques provide a way of evaluating user interface designs, based on what is known about human cognitive strengths and limitations. Cognitive modelers face a...
Robert St. Amant, Sean P. McBride, Frank E. Ritter
WSC
2004
13 years 9 months ago
Validation of the Enlisted Grade Model Gradebreaks
This paper describes the validation of the Enlisted Grade model gradebreaks and describes a current application of simulation in operations research. The Enlisted Grade model is p...
Andrew O. Hall
WSC
2000
13 years 9 months ago
Using agent-based modeling to capture airpower strategic effects
Airpower's strength lies in quickly striking the enemy directly where they are vulnerable while being unhampered by geography and surface forces. Airpower theory suggests the...
Richard K. Bullock, Gregory A. McIntyre, Raymond R...
JCNS
2002
71views more  JCNS 2002»
13 years 8 months ago
A Spiking Neuron Model for Binocular Rivalry
Abstract. We present a biologically plausible model of binocular rivalry consisting of a network of HodgkinHuxley type neurons. Our model accounts for the experimentally and psycho...
Carlo R. Laing, Carson C. Chow