3663 search results - page 553 / 733 » Problems in the ontology of computer programs |
198
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
186
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
A genetic algorithm (GA) is utilised to discover known and novel PROSITE-like sequence templates that can be used to classify the sub-cellular location of eukaryotic proteins. Whi...
169
click to vote
AMC
2007
15 years 6 months ago
2007
In this paper we present the method of lines to obtain the numerical solution of a mathematical model for capillary formation in tumor angiogenesis. This method is an approach to ...
154
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We develop and analyze M-estimation methods for divergence functionals and the likelihood ratios of two probability distributions. Our method is based on a non-asymptotic variatio...
177
click to vote
DEDS
2010
15 years 6 months ago
2010
In discrete event systems, a given task can start executing when all the required input data are available. The required input data for a given task may change along the evolution...