Results 221 to 230 of about 388,706 (268)

Model-Based Computation

Natural Computing, 2016
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Putting the Computation Back into Computational Modeling

Pharmacopsychiatry, 2006
Many different varieties of modeling coexist in theoretical neuroscience. Here, we consider the positive and negative implications, for theories of schizophrenia, of a crucial distinction between computational and mathematical modeling.
P, Dayan, J, Williams
openaire   +2 more sources

The Turing Computational Model

ACM Turing Centenary Celebration on - ACM-TURING '12, 2012
The panel presentations will discuss the beauty and simplicity of the Turing machine formulation of the previously elusive concept of computability and the intuitively satisfying explanation of the power and limitations of computability. They will also review how the Turing machine model provided simple proofs of deep results in logic, including Godel ...
Juris Hartmanis, Stephen Cook, William Kahan, Richard Edwin Stearns, Andrew C. Yao   +4 more
openaire   +2 more sources

Computational modeling of microstructures

Future Generation Computer Systems, 1989
Abstract This article describes four examples of analysis of the deformation and failure of microstructures. These examples are part of a wider study of micromechanical processes in materials within, what amounts to, a new field, Computational Micromechanics.
P. E. McHugh, A. G. Varias, Robert J. Asaro, C. F. Shih   +3 more
openaire   +2 more sources

Models and Modelling in Computer Science

2021
Models are a universal instrument of mankind. They surround us our whole lifespan and support all activities even in case we are not aware of the omnipresence. They are so omnipresent that we don’t realise their importance. Computer Science is also heavily using models as companion in most activities.
openaire   +1 more source

A computer model of conversation

ACM SIGART Bulletin, 1977
This project is concerned with the modelling of language use in a conversation. The aim is to develop techniques for making a machine a more helpful conversant. We are examining problems that have essentially been ignored in current AI natural language research.
James F. Allen, Philip R. Cohen, Robin Cohen, C. Raymond Perrault, Corot Reason, Mary Horrigan-Tozer   +5 more
openaire   +2 more sources

A Computational Model of Afterimages

Computer Graphics Forum, 2012
AbstractAfterimages are optical illusions, particularly well perceived when fixating an image for an extended period of time and then looking at a neutral background, where an inverted copy of the original stimulus appears. The full mechanism that produces the perceived specific colors and shapes is complex and not entirely understood, but most of the ...
Ritschel, T., Eisemann, E.
openaire   +2 more sources

The Coroutine Model of Computation

2012
This paper presents a general denotational formalism called the Coroutine Model of Computation for control-oriented computational models. This formalism characterizes atomic elements with control behavior as Continuation Actors, giving them a static semantics with a functional interface.
Chris Shaver, Edward A. Lee
openaire   +2 more sources

Computational modeling systems

Information Systems, 1995
Abstract A computational modeling system (CMS) provides scientific investigators with a unified computational environment and easy access to a broad range of modeling tools. The goal of a CMS is to provide computational support that increases the efficiency of scientists in the iterative process of modeling.
Terence R. Smith, Jianwen Su, Amr El Abbadi, Divyakant Agrawal, Gustavo Alonso, Amitabh Saran   +5 more
openaire   +1 more source

A computational model of teaching

Proceedings of the fifth annual workshop on Computational learning theory, 1992
Goldman and Kearns [GK91] recently introduced a notion of the teaching dimension of a concept class. The teaching dimension is intended to capture the combinatorial difficulty of teaching a concept class. We present a computational analog which allows us to make statements about bounded-complexity teachers and learners, and we extend the model by ...
Jeffrey C. Jackson, Andrew Tomkins
openaire   +2 more sources