157 search results - page 14 / 32 » Incremental Compilation-to-SAT Procedures |
80
Voted
ICCS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Minimal generators (mingens) of concept intents are valuable elements of the Formal Concept Analysis (FCA) landscape, which are widely used in the database field, for da...
97
Voted
FPGA
2008
ACM
14 years 11 months ago
2008
ACM
A design tool for routing channel segmentation in islandstyle FPGAs is presented. Given the FPGA architecture parameters and a set of benchmark designs, the tool optimizes routing...
71
Voted
ICASSP
2010
IEEE
14 years 9 months ago
2010
IEEE
Given a number of machine translations of a source segment, the goal of system combination is to produce a new translation that has better quality than all of them. This paper des...
109
click to vote
WWW
2008
ACM
14 years 9 months ago
2008
ACM
In this paper, we describe a document clustering method called noveltybased document clustering. This method clusters documents based on similarity and novelty. The method assigns...
KBS
2002
14 years 9 months ago
2002
In this paper, a hybrid learning approach named HDT is proposed. HDT simulates human reasoning by using symbolic learning to do qualitative analysis and using neural learning to d...