245 search results - page 19 / 49 » Class Algebra as a Description Logic |
TSMC
2008
15 years 11 days ago
2008
Abstract-- This paper presents a method that uses gene ontologies, together with the paradigm of relational subgroup discovery, to find compactly described groups of genes differen...
107
click to vote
PODS
2010
ACM
15 years 5 months ago
2010
ACM
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...
98
Voted
ICCAD
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper addresses the problem of equivalence verification of RTL descriptions. The focus is on datapathoriented designs that implement polynomial computations over fixed-s...
138
Voted
FROCOS
2009
Springer
15 years 7 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
134
click to vote
NMR
2004
Springer
15 years 5 months ago
2004
Springer
One of the crucial actions any reasoning system must undertake is the updating of its Knowledge Base (KB). This problem is usually referred to as the problem of belief change. The...