563 search results - page 80 / 113 » A Typing Scheme for Behavioural Models |
IPM
2006
13 years 7 months ago
2006
This paper examines several different approaches to exploiting structural information in semi-structured document categorization. The methods under consideration are designed for ...
BMCBI
2010
13 years 7 months ago
2010
Background: There is a vast need to find clinically applicable protein biomarkers as support in cancer diagnosis and tumour classification. In proteomics research, a number of met...
CODES
1999
IEEE
13 years 12 months ago
1999
IEEE
o much higher levels of abstraction than today's design practices, which are usually at the level of synthesizable RTL for custom hardware or Instruction Set Simulator (ISS) f...
ACRI
2008
Springer
14 years 1 months ago
2008
Springer
Abstract. Rule 54, in Wolfram’s notation, is one of elementary yet complexly behaving one-dimensional cellular automata. The automaton supports gliders, glider guns and other non...
GPCE
2004
Springer
14 years 28 days ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...