1995 search results - page 40 / 399 » The Chemical Abstract Machine |
TNN
2008
13 years 7 months ago
2008
Abstract--In this paper, we propose a novel large margin classifier, called the maxi
BIBM
2010
IEEE
13 years 5 months ago
2010
IEEE
ATP is a ubiquitous nucleotide that provides energy for cellular activities, catalyzes chemical reactions, and is involved in cellular signaling. The knowledge of the ATPprotein in...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Abstract. Control code is a concept that is closely related to a frequently occurring practitioner’s view on what is a program: code that is capable of controlling the behaviour ...
NADA
1998
Springer
13 years 12 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
ICAI
2004
13 years 9 months ago
2004
on of Abstracts, the University of Georgia, Athens 2003.