3273 search results - page 72 / 655 » types 2007 |
BMCBI
2004
14 years 11 months ago
2004
Background: New techniques for determining relationships between biomolecules of all types
IWEC
2004
15 years 1 months ago
2004
In Probabilistic Opponent-Model search(PrOM search) the opponent is modelled by a mixed strategy of N opponent types 0 . . .
MCU
2001
15 years 1 months ago
2001
Abstract. A direct universal extended H system receives as input the coding of an extended H system with double splicing and simulates it. It is the first time that a direct constr...
DAGSTUHL
2001
15 years 1 months ago
2001
We give two finite axiomatizations of indexed inductive-recursive definitions in intuitionistic type theory. They extend our previous finite axiomatizations of inductive-recursive...
EUSFLAT
2003
15 years 1 months ago
2003
tract presents the initial results of exploring the notion of non-determinism in representing nursing intuition via type-2 fuzzy sets.