3396 search results - page 588 / 680 » Tree representations of graphs |
130
click to vote
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
127
click to vote
ARITH
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper introduces two novel architectures for parallel decimal multipliers. Our multipliers are based on a new algorithm for decimal carry–save multioperand addition that us...
104
click to vote
WCRE
2007
IEEE
15 years 10 months ago
2007
IEEE
tection via Structural Abstraction William S. Evans Department of Computer Science University of British Columbia Vancouver, B.C. V6T 1Z4, CANADA Christopher W. Fraser Microsoft Re...
137
click to vote
IWCLS
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents Fuzzy-UCS, a Michigan-style Learning Fuzzy-Classifier System designed for supervised learning tasks. FuzzyUCS combines the generalization capabilities of UCS w...
117
click to vote
CIBCB
2006
IEEE
15 years 10 months ago
2006
IEEE
– Protein structure prediction is one of the core research areas in bioinformatics. This paper addresses the protein secondary structure prediction problem for the twilight zone ...