157 search results - page 5 / 32 » Incremental Compilation-to-SAT Procedures |
NIPS
2000
13 years 8 months ago
2000
An on-line recursive algorithm for training support vector machines, one vector at a time, is presented. Adiabatic increments retain the KuhnTucker conditions on all previously se...
CADE
2001
Springer
14 years 7 months ago
2001
Springer
Abstract. This paper presents a technique for automated theorem proving with free variable tableaux that does not require backtracking. Most existing automated proof procedures usi...
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This paper proposes the incremental goal evolution process methodology from the view point of the approach to business process optimization. This paper first presents a p...
SEW
2003
IEEE
14 years 21 days ago
2003
IEEE
Model-based software has become quite popular in recent years, making its way into a broad range of areas, including the aerospace industry. The models provide an easy graphical i...
DS
1992
13 years 8 months ago
1992
In this paper, we present methods for supporting autonomous updates in replicated databases. Autonomous updates are of particular importance to applications that cannot tolerate t...