1581 search results - page 258 / 317 » Mechanizing Inductive Reasoning |
116
click to vote
COMPSAC
2009
IEEE
15 years 29 days ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
110
click to vote
GECCO
2008
Springer
15 years 28 days ago
2008
Springer
We show how and why using genetic operators that are applied with probabilities that depend on the fitness rank of a genotype or phenotype offers a robust alternative to the Sim...
CAISE
2010
Springer
15 years 1 days ago
2010
Springer
Task delegation presents one of the business process security leitmotifs. It defines a mechanism that bridges the gap between both workflow and access control systems. There are tw...
101
click to vote
PODS
2010
ACM
15 years 1 days ago
2010
ACM
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...
DAWAK
2010
Springer
15 years 1 days ago
2010
Springer
Region Of Interest Based Image Classification (ROIBIC) is a mechanism for categorising images according to some specific component or object that features across a given image set....