1937 search results - page 346 / 388 » Rule Based Updates on Simple Knowledge Bases |
164
click to vote
ISMB
2008
15 years 4 months ago
2008
Motivation: Array-based comparative genomic hybridization (arrayCGH) has recently become a popular tool to identify DNA copy number variations along the genome. These profiles are...
119
click to vote
SDM
2007
SIAM
15 years 3 months ago
2007
SIAM
Abnormal events, such as security attacks, misconfigurations, or electricity failures, could have severe consequences toward the normal operation of the Border Gateway Protocol (...
116
click to vote
IJCAI
1989
15 years 3 months ago
1989
We present a methodology for using analogy to derive programs based on a derivational transformation method. The derived programs are deductively closed under the rules in the kno...
146
click to vote
ENTCS
2007
15 years 1 months ago
2007
In this paper, we present a term rewriting based library for manipulating Java bytecode. We define a mapping from bytecode programs to algebraic terms, and we use Tom, an extensi...
140
click to vote
AFRICACRYPT
2009
Springer
15 years 8 months ago
2009
Springer
We present the first simple power analysis (SPA) of software implementations of KeeLoq. Our attack drastically reduces the efforts required for a complete break of remote keyless...