273 search results - page 7 / 55 » Incremental Recompilation of Knowledge |
TCAD
2010
13 years 5 months ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
KCAP
2009
ACM
14 years 5 months ago
2009
ACM
In this paper, a new summarization system is proposed, which summarizes a document by interactively scoring the sentences using already-extracted summary so that the sentence whic...
BMCBI
2008
13 years 11 months ago
2008
Background: The subcellular localisation of proteins in intact living cells is an important means for gaining information about protein functions. Even dynamic processes can be ca...
Publication
We present a class of models that, via a simple construction,
enables exact, incremental, non-parametric, polynomial-time,
Bayesian inference of conditional measures. The approac...
IJCAI
1989
14 years 19 hour ago
1989
Incremental conceptual clustering is an important area of machine learning. It is concerned with summarizing data in a form of concept hierarchies, which will eventually ease the ...