656 search results - page 107 / 132 » A Formalization of Transition P Systems |
AVBPA
2003
Springer
15 years 5 months ago
2003
Springer
The NIST HumanID Evaluation Framework, or HEF, is an effort to design, implement, and deploy standards for the robust and complete documentation of the biometric system evaluation...
109
click to vote
GMP
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper is concerned with “open kernel” geometric modelling systems. It uses industrial needs to identify requirements for the geometric objects of a proposed interface. Th...
80
Voted
ICRA
2000
IEEE
15 years 4 months ago
2000
IEEE
—In this paper, we introduce a new approach to fault detection for robot manipulators. The technique, which is based on the isolation of fault signatures via filtered torque pred...
113
click to vote
CMSB
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...
115
click to vote
ASIAN
2006
Springer
15 years 4 months ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...