2297 search results - page 165 / 460 » An Algorithm for Computing the Integral Closure |
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
122
Voted
ACL
2009
15 years 13 days ago
2009
Iterative bootstrapping algorithms are typically compared using a single set of handpicked seeds. However, we demonstrate that performance varies greatly depending on these seeds,...
128
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
Multiple clock cycles are needed to cross the global interconnects for multi-gigahertz designs in nanometer technologies. For synchronous designs, this requires retiming and pipel...
104
Voted
WIKIS
2005
ACM
15 years 8 months ago
2005
ACM
In this article we examine the integration of communities of practice supported by a wiki into work processes. Linear structures are often inappropriate for the execution of knowl...
118
Voted
DRM
2004
Springer
15 years 8 months ago
2004
Springer
Today, database relations are widely used and distributed over the Internet. Since these data can be easily tampered with, it is critical to ensure the integrity of these data. In...