4609 search results - page 522 / 922 » Automatic Generation of Sigma-Protocols |
254
click to vote
KELSI
2004
Springer
16 years 5 days ago
2004
Springer
There is an overwhelming increase in submissions to genomic databases, posing a problem for database maintenance, especially regarding annotation of fields left blank during submi...
198
click to vote
ISSTA
2010
ACM
15 years 10 months ago
2010
ACM
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool au...
210
click to vote
FLAIRS
2000
15 years 8 months ago
2000
For manyknowledgeintensive applications, it is necessary to have extensive domain-specific knowledgein addition to general-purpose knowledge bases usually built around MachineRead...
159
click to vote
COMPUTER
2008
15 years 7 months ago
2008
ors induce aptitudes: abstract skills and knowledge. Mentors foster attitudes: social skills and graces. In my experience of school, starting 70 years or so ago, quite regimented i...
173
click to vote
ENGL
2007
15 years 6 months ago
2007
— The paper aims at designing a scheme for automatic identification of a species from its genome sequence. A set of 64 three-tuple keywords is first generated using the four type...