4820 search results - page 445 / 964 » Implementing Signatures for C |
138
Voted
ECBS
2003
IEEE
15 years 10 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
115
Voted
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Heritage management in New Zealand is data rich but information poor. For nearly 50 years, the New Zealand Archaeological Association has maintained a paper based, largely textual...
116
click to vote
ICDAR
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper summarises the achievements of a multidisciplinary Bioinformatics project which has the objective of providing a general mechanism for efficient computerisation of type...
130
click to vote
ICDAR
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper describes a complete system for reading typewritten lexicon words in noisy images - in this case museum index cards. The system is conceptually simple, and straightforw...
142
Voted
ICDCSW
2003
IEEE
15 years 10 months ago
2003
IEEE
Exploiting autonomic adaptation in defending a distributed application is a relatively new research area. We describe how the QuO adaptive middleware was used to implement auto-ad...