1471 search results - page 163 / 295 » Church: a language for generative models |
253
click to vote
VL
2010
IEEE
15 years 4 months ago
2010
IEEE
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...
184
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The system-level dynamics of many molecular interactions, particularly protein-protein interactions, can be conveniently represented using reaction rules, which can be...
183
click to vote
CGF
2011
14 years 10 months ago
2011
The complexity and detail of geometric scenes that are used in today’s computer animated films and interactive games have reached a level where the manual creation by tradition...
159
click to vote
SYNASC
2005
IEEE
15 years 12 months ago
2005
IEEE
We improve, by using register machines, some existing universality results for specific models of P systems. P systems with membrane creation are known to generate all recursivel...
258
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Measuring graph similarity is a key issue in many applications. We propose a new constraint-based modeling language for defining graph similarity measures by means of constraints. ...