4820 search results - page 445 / 964 » Implementing Signatures for C |
175
click to vote
ECBS
2003
IEEE
16 years 4 days 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...
145
click to vote
HICSS
2003
IEEE
16 years 4 days 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...
144
click to vote
ICDAR
2003
IEEE
16 years 4 days 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...
166
click to vote
ICDAR
2003
IEEE
16 years 4 days 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...
186
click to vote
ICDCSW
2003
IEEE
16 years 3 days 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...