3130 search results - page 289 / 626 » Design Correctness of Digital Systems |
147
click to vote
AAAI
1994
15 years 8 months ago
1994
A knowledge acquisition tool should provide a user with maximum guidance in extending and debugging a knowledge base, by preventing inconsistencies and knowledge gaps that may ari...
262
click to vote
DILS
2005
Springer
16 years 7 days ago
2005
Springer
Unbiased metabolomic surveys are used for physiological, clinical and genomic studies to infer genotype-phenotype relationships. Long term reusability of metabolomic data needs bot...
170
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
- This paper aims at discussing the implementation of simulation systems for SNN based on analog computation cores (neuromimetic ICs). Such systems are an alternative to completely...
156
click to vote
IMA
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper specializes the signature forgery by Coron, Naccache and Stern (1999) to Rabin-type systems. We present a variation in which the adversary may derive the priva...
197
click to vote
MTA
2002
15 years 6 months ago
2002
Digital video databases have become more pervasive and finding video clips quickly in large databases becomes a major challenge. Due to the nature of video, accessing contents of v...