14382 search results - page 2847 / 2877 » Time in Connectionist Models |
ASE
2002
13 years 9 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
BMCBI
2004
13 years 9 months ago
2004
Background: The Hotdog fold was initially identified in the structure of Escherichia coli FabA and subsequently in 4-hydroxybenzoyl-CoA thioesterase from Pseudomonas sp. strain CB...
COMCOM
2004
13 years 9 months ago
2004
The availability of high-speed transmission media and networking equipment in contemporary networks, as well as the evolution of quality-demanding applications has focused researc...
COMPLEXITY
2004
13 years 9 months ago
2004
: Explaining the maintenance of sexual reproduction remains one of the greatest challenges in biology. The theoretical oddity of sex is based on at least three advantages that asex...
CORR
2004
Springer
13 years 9 months ago
2004
Springer
This paper presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Ja...