490 search results - page 10 / 98 » Automated Generalization of Translation Examples |
LPNMR
2001
Springer
14 years 5 days ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
MEMOCODE
2010
IEEE
13 years 5 months ago
2010
IEEE
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
IHI
2010
13 years 2 months ago
2010
As the fields of translational research and personalized medicine evolve, the need clinicians and scientists have to exchange experimental results is growing. As different termino...
CSL
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The notion of graph polynomials definable in Monadic Second Order Logic, MSOL, was introduced in [Mak04]. It was shown that the Tutte polynomial and its generalization, a...
JCB
2006
13 years 7 months ago
2006
A stochastic genetic toggle switch model that consists of two identical, mutually repressive genes is built using the Gillespie algorithm with time delays as an example of a simpl...