152 search results - page 14 / 31 » On the Integration of Recursive ALN-Theories |
FOSSACS
2009
Springer
14 years 3 months ago
2009
Springer
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties t...
ESCIENCE
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract Grid services can be composed into processes, providing a high level definition of the computations involved in terms of their data exchanges and control flow dependenci...
BIOSYSTEMS
2008
13 years 8 months ago
2008
This paper aims to offer an overview of the meaning of autonomy for biological individuals and artificial models rooted in a specific perspective that pays attention to the histor...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Packrat parsing is a novel technique for implementing parsers in a lazy functional programming language. A packrat parser provides the power and flexibility of top-down parsing wi...
COCOON
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Phylogenetic reconstruction from gene-rearrangement data is attracting increasing attention from biologists and computer scientists. Methods used in reconstruction includ...