31324 search results - page 61 / 6265 » Compare |
JAPLL
2006
14 years 9 months ago
2006
This paper presents Automath encodings (which also are valid in LF/P) of various kinds of foundations of mathematics. Then it compares these encodings according to their size, to f...
NAR
2006
14 years 9 months ago
2006
MODBASE (http://salilab.org/modbase) is a relational database of annotated comparative protein structure models for all available protein sequences matched to at least one known p...
FUIN
2002
14 years 9 months ago
2002
Refinement in bisimulation semantics is defined differently from refinement in failure semantics: in bisimulation semantics refinement is based on simulations between labelled tran...
RAS
2000
14 years 9 months ago
2000
This paper investigates the identification of nonlinear systems by utilizing soft-computing approaches. As the identification methods, Feedforward Neural Network architecture (FNN...
CLEIEJ
1999
14 years 9 months ago
1999
This works goal is the definition of a set of criteria to be used as a reference for evaluation and comparison of existing distributed object technologies. In particular the defin...