157 search results - page 7 / 32 » Incremental Compilation-to-SAT Procedures |
ICANN
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We present a method to find the exact maximal margin hyperplane for linear Support Vector Machines when a new (existing) component is added (removed) to (from) the inner...
EMNLP
2007
13 years 11 months ago
2007
Many emerging applications require documents to be repeatedly updated. Such documents include newsfeeds, webpages, and shared community resources such as Wikipedia. In this paper ...
ICCAD
1997
IEEE
14 years 2 months ago
1997
IEEE
We introduce a new technique to solve exactly a discrete optimization problem, based on the paradigm of “negative” thinking. The motivation is that when searching the space of...
DAC
2005
ACM
13 years 11 months ago
2005
ACM
In this paper, we introduce a new watermarking system for IP protection on post-layout design phase. Firstly the copyright is encrypted by DES (Data Encryption Standard) and then ...
ISCI
2008
13 years 9 months ago
2008
In this paper we propose a new probability update rule and sampling procedure for population-based incremental learning. These proposed methods are based on the concept of opposit...