3255 search results - page 55 / 651 » Combination of Abstractions in the ASTR |
BIOCOMP
2006
13 years 10 months ago
2006
Abstract - Combined QM/MM calculations of an activesite of Cytochrome P450cam have been performed, before and after a binding process of Cytochrome P450cam to Putidaredoxin. The ca...
COMCOM
2006
13 years 8 months ago
2006
Abstract--The proportional differentiation model is a newly introduced approach for differentiated services networks. This paper proposes and evaluates a scheduling mechanism for t...
INFORMATICALT
2008
13 years 8 months ago
2008
Abstract. This paper presents a bimodal biometric verification system based on the fusion of palmprint and face features at the matching-score level. The system combines a new appr...
CADE
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. The theorem prover Isabelle is used to formalise and reproduce some of the styles of reasoning used by Newton in his Principia. The Principia's reasoning is resolute...
IEAAIE
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. In this paper we introduce a probabilistic approach to support visual supervision and gesture recognition. Task knowledge is both of geometric and visual nature and it is...