Sciweavers

1669 search results - page 156 / 334
» Structured Specification of Model Interpreters
Sort
View
ESANN
2001
15 years 5 months ago
A computational model of monkey grating cells for oriented repetitive alternating patterns
In 1992 neurophysiologists [5] found an new type of cells in areas V1 and V2 of the monkey primary visual cortex, which they called grating cells. These cells respond vigorously to...
Tino Lourens, Kazuhiro Nakadai, Hiroshi G. Okuno, ...
BMCBI
2005
73views more  BMCBI 2005»
15 years 3 months ago
An analysis of extensible modelling for functional genomics data
Background: Several data formats have been developed for large scale biological experiments, using a variety of methodologies. Most data formats contain a mechanism for allowing e...
Andrew R. Jones, Norman W. Paton
AIEDAM
2007
86views more  AIEDAM 2007»
15 years 3 months ago
An ontology of situated design teams
This paper presents an ontological framework for situated design teams in which the team is both the subject and the object of designing. Team designing is modelled using the set o...
John S. Gero, Udo Kannengiesser
FMCAD
2000
Springer
15 years 7 months ago
A Theory of Consistency for Modular Synchronous Systems
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
Randal E. Bryant, Pankaj Chauhan, Edmund M. Clarke...
SERVICES
2008
51views more  SERVICES 2008»
15 years 5 months ago
Iterative Workflows for Numerical Simulations in Subsurface Sciences
Numerical simulators are frequently used to assess future risks, support remediation and monitoring program decisions, and assist in design of specific remedial actions with respe...
Jared Chase, Karen Schuchardt, George Chin Jr., Je...