580 search results - page 116 / 116 » Expressive policy analysis with enhanced system dynamicity |
PAMI
2006
13 years 10 months ago
2006
The performance of face recognition systems that use two-dimensional images depends on factors such as lighting and subject's pose. We are developing a face recognition system...
SCP
1998
13 years 10 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
CHI
2009
ACM
14 years 11 months ago
2009
ACM
While most collaboration technologies are concerned with supporting particular tasks such as workflows or meetings, many work groups do not have the teamwork skills essential to e...
FM
2006
Springer
14 years 2 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
BMCBI
2010
13 years 11 months ago
2010
Background: Candida albicans is a commonly encountered fungal pathogen in humans. The formation of biofilm is a major virulence factor in C. albicans pathogenesis and is related t...