Sciweavers

1680 search results - page 196 / 336
» Automated Model Selection for Simulation
Sort
View
EMSOFT
2008
Springer
13 years 11 months ago
Automatically transforming and relating Uppaal models of embedded systems
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
Timothy Bourke, Arcot Sowmya
JCNS
2000
86views more  JCNS 2000»
13 years 9 months ago
Computational Modeling of Orientation Tuning Dynamics in Monkey Primary Visual Cortex
In the primate visual pathway, orientation tuning of neurons is first observed in the primary visual cortex. The LGN cells that comprise the thalamic input to V1 are not orientati...
M. C. Pugh, Dario L. Ringach, Robert Shapley, M. J...
JCNS
2002
99views more  JCNS 2002»
13 years 9 months ago
Coarse-Grained Reduction and Analysis of a Network Model of Cortical Response: I. Drifting Grating Stimuli
We present a reduction of a large-scale network model of visual cortex developed by McLaughlin, Shapley, Shelley, and Wielaard. The reduction is from many integrate-and-fire neuron...
Michael Shelley, David McLaughlin
TIP
2010
312views more  TIP 2010»
13 years 7 months ago
A Novel Multiresolution Spatiotemporal Saliency Detection Model and Its Applications in Image and Video Compression
—Salient areas in natural scenes are generally regarded as areas which the human eye will typically focus on, and finding these areas is the key step in object detection. In com...
Chenlei Guo, Liming Zhang
ICLP
2010
Springer
14 years 1 months ago
HEX Programs with Action Atoms
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...
Selen Basol, Ozan Erdem, Michael Fink, Giovambatti...