6 search results - page 1 / 2 » rita 2000 |
RITA
2000
13 years 4 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...
ICPR
2000
IEEE
14 years 6 months ago
2000
IEEE
A wide number of algorithmsfor surjtiacesegmentationin range images have been recentlyproposed characterizedby different approaches (edgefilling, regiongrowing, ...), different su...
ESANN
2000
13 years 6 months ago
2000
Neural nets are generally considered to be connected synaptically. However, the majority of information transfer in the brain may not be by synapses. Nonsynaptic diffusion neurotra...
ICSM
2000
IEEE
13 years 9 months ago
2000
IEEE
Several reverse engineering methods for recovering objects from legacy systems have been proposed in the literature, but most of them neglect to identify the relationships among t...
ISMB
2000
13 years 6 months ago
2000
Knowing the number of residue contacts in a protein is crucial for deriving constraints useful in modeling protein folding, protein structure, and/or scoring remote homology searc...