3564 search results - page 318 / 713 » Evaluating a Formal Modelling Language |
148
Voted
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we present an evolutionary approach for inferring the structure and dynamics in gene circuits from observed expression kinetics. For representing the regulatory inte...
128
click to vote
ICSE
2004
IEEE-ACM
15 years 10 months ago
2004
IEEE-ACM
Prior research attempts to formalize the structure of object-oriented design patterns for a more precise specification of design patterns. It also allows automation support to be ...
137
click to vote
MOZ
2004
Springer
15 years 10 months ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
139
click to vote
DLOG
2007
15 years 7 months ago
2007
Enabling the Semantic Web requires solving the semantic heterogeneity problem, for which ontology matching methods have been proposed. These methods rely on similarity measures tha...
167
click to vote
ICMLA
2009
15 years 2 months ago
2009
Languages that combine predicate logic with probabilities are needed to succinctly represent knowledge in many real-world domains. We consider a formalism based on universally qua...