Sciweavers

108 search results - page 22 / 22
» How to synthesize nets from languages: a survey
Sort
View
FM
2009
Springer
138views Formal Methods» more  FM 2009»
13 years 11 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...
JBI
2007
120views Bioinformatics» more  JBI 2007»
13 years 4 months ago
Measures of semantic similarity and relatedness in the biomedical domain
Measures of semantic similarity between concepts are widely used in Natural Language Processing. In this article, we show how six existing domain-independent measures can be adapt...
Ted Pedersen, Serguei V. S. Pakhomov, Siddharth Pa...
JIT
2004
Springer
204views Database» more  JIT 2004»
13 years 10 months ago
Ercatons: Thing-Oriented Programming
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...
Oliver Imbusch, Falk Langhammer, Guido von Walter