433 search results - page 52 / 87 » Administrative and Public Verifiability: Can We Have Both |
FGR
2006
IEEE
14 years 1 months ago
2006
IEEE
Traditionally, human facial expressions have been studied using either 2D static images or 2D video sequences. The 2D-based analysis is incapable of handing large pose variations....
AAMAS
1999
Springer
13 years 7 months ago
1999
Springer
Document management inside an organization is a complex and broadly scoped problem. This paper approaches the technical and social issues of Intranet document management by develop...
BMCBI
2005
13 years 7 months ago
2005
Background: Single nucleotide polymorphisms (SNPs) provide an important tool in pinpointing susceptibility genes for complex diseases and in unveiling human molecular evolution. S...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach i...
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...