477 search results - page 80 / 96 » Design patterns in separation logic |
137
click to vote
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
High performance, freedom from deadlocks, and freedom from livelocks are desirable properties of interconnection networks. Unfortunately, these can be conflicting goals because n...
113
click to vote
HICSS
1998
IEEE
15 years 7 months ago
1998
IEEE
Agreement is an important concept in group interaction, both for computermediated and face-to-face groups. This paper presents a measure of disagreement, D, for groups facing limi...
140
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Gene clustering has been widely used to group genes with similar expression pattern in microarray data analysis. Subsequent enrichment analysis using predefined gene s...
156
click to vote
UAI
2007
15 years 4 months ago
2007
The traditional approach to building Bayesian networks is to build the graphical structure using a graphical editor and then add probabilities using a separate spreadsheet for eac...
128
click to vote
DAS
2010
Springer
15 years 6 months ago
2010
Springer
A novel text extraction method from graphical document images is presented in this paper. Graphical document images containing text and graphics components are considered as two-d...