1837 search results - page 181 / 368 » Abstraction and the C Machine Model |
143
click to vote
JCNS
2002
15 years 6 months ago
2002
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...
168
click to vote
SIMPRA
2010
15 years 5 months ago
2010
Abstract — We apply finite state-dependent queueing networks to model mobility in mobile communication systems. Although they have been successfully used in the past to model ve...
185
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Learning event models from videos has applications ranging from abnormal event detection to content based video retrieval. Relational learning techniques such as Inductiv...
259
click to vote
WRLA
2010
15 years 4 months ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
167
click to vote
SIAMMA
2010
15 years 1 months ago
2010
Abstract. In this paper, we derive asymptotic models for the propagation of two and threedimensional gravity waves at the free surface and the interface between two layers of immis...