2004 search results - page 302 / 401 » Comparison of Model Checking Tools for Information Systems |
ICIP
2006
IEEE
16 years 1 months ago
2006
IEEE
An innovative extended Kalman filter (EKF) algorithm for pose tracking has been proposed in this paper. It has the advantages of both structure and motion-based (SAM-based) and tr...
HAPTICS
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents an external camera method for measuring fingertip forces by imaging the fingernail and surrounding skin. This method is an alternative to the photoplethysmog...
TWC
2008
14 years 11 months ago
2008
Abstract-- An information theoretic queueing model is proposed in a wireless multiple access communication setup. The proposed symmetric N user model captures physical layer parame...
ER
2000
Springer
15 years 3 months ago
2000
Springer
Taxonomies are an important part of conceptual modeling. They provide substantial structural information, and are typically the key elements in integration eorts, however there ha...
115
click to vote
DIM
2005
ACM
15 years 1 months ago
2005
ACM
Privacy-Enhancing Identity Management (PIM) enables users to control which personal information they provide to their communication partner(s) by partitioning their personal infor...