4961 search results - page 128 / 993 » Homomorphism-Homogeneous Relational Structures |
123
click to vote
DCC
2000
IEEE
15 years 7 months ago
2000
IEEE
As large-scale databases become commonplace, there has been signi cant interest in mining them for commercial purposes. One of the basic tasks that underlies many of these mining ...
142
Voted
WCRE
2000
IEEE
15 years 7 months ago
2000
IEEE
The purpose of this panel is to report on a structured demonstration for comparing program comprehension tools. Five program comprehension tool designers applied their tools to a ...
132
Voted
BMCBI
2010
14 years 9 months ago
2010
Background: The functional and structural characterisation of enzymes that belong to microbial metabolic pathways is very important for structure-based drug design. The main inter...
146
Voted
CSDA
2011
14 years 6 months ago
2011
: In image processing, image similarity indices evaluate how much structural information is maintained by a processed image in relation to a reference image. Commonly used measures...
199
click to vote
POPL
2011
ACM
14 years 5 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...