5054 search results - page 139 / 1011 » simulation 2008 |
126
click to vote
FASE
2008
Springer
15 years 4 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
113
click to vote
SIGIR
2008
ACM
15 years 2 months ago
2008
ACM
Collections are a fundamental tool for reproducible evaluation of information retrieval techniques. We describe a new method for distributing the document lengths and term counts ...
112
click to vote
TAP
2008
Springer
15 years 2 months ago
2008
Springer
on the perception of visual realism. This study suggests that post-recall or simple abstraction of visual experience is not accurate and the use of eye tracking provides an effecti...
104
click to vote
JCC
2007
15 years 2 months ago
2007
: A recent workshop titled ‘‘Quantitative Computational Biophysics’’ at Florida State University provided an overview of the state of the art in quantitative modeling of bi...
127
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...