10899 search results - page 140 / 2180 » The GP Programming System |
NMR
2004
Springer
14 years 3 months ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
MEMBRANE
2005
Springer
14 years 3 months ago
2005
Springer
Some features capturing the computational completeness of P systems with maximal parallelism, priorities or zero-test using symbol objects are studied through Petri nets. The obtai...
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract-- In this paper, a discrete
ENTCS
2007
13 years 10 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
JELIA
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Although ASP systems have been extended in many directions, they still miss features which may be helpful towards industrial applications, like capabilities of quickly in...