77016 search results - page 15215 / 15404 » Modelling |
139
Voted
ASE
2002
15 years 3 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...
120
Voted
BC
2004
15 years 3 months ago
2004
Abstract. This study aims to recover transient, trialvarying evoked potentials (EPs), in particular the movement-related potentials (MRPs), embedded within the background cerebral ...
137
Voted
BIOINFORMATICS
2004
15 years 3 months ago
2004
Motivation: A microarray experiment is a multi-step process, and each step is a potential source of variation. There are two major sources of variation: biological variation and t...
172
Voted
BC
2002
15 years 3 months ago
2002
Taking a global analogy with the structure of perceptual biological systems, we present a system composed of two layers of real-valued sigmoidal neurons. The primary layer receives...
144
Voted
BMCBI
2004
15 years 3 months ago
2004
Background: Accessible surface area (ASA) or solvent accessibility of amino acids in a protein has important implications. Knowledge of surface residues helps in locating potentia...