157 search results - page 16 / 32 » Incremental Compilation-to-SAT Procedures |
IDEAL
2004
Springer
15 years 3 months ago
2004
Springer
A novel technique is presented to construct sparse regression models based on the orthogonal least square method with boosting. This technique tunes the mean vector and diagonal c...
IDEAS
2002
IEEE
15 years 2 months ago
2002
IEEE
Based on the recent progress of digital cartography, global positioning systems (GPSs), and hand-held devices, there are growing needs of technology that provides neighborhood inf...
131
click to vote
SAIG
2001
Springer
15 years 2 months ago
2001
Springer
A characteristic of aspect-oriented programming, as embodied in AspectJ, is the use of advice to incrementally modify the behavior of a program. An advice declaration specifies a...
VLDB
1995
ACM
15 years 1 months ago
1995
ACM
Traditionally, optimizers are “programmed” to optimize queries following a set of buildin procedures. However, optimizers should be robust to its changing environment to gener...
WETICE
1995
IEEE
15 years 1 months ago
1995
IEEE
In this paper we informally explain a new Trellis model that incorporates colored tokens into the previouslydescribed timed-Petri-net-based de nition. We give examples of using Tr...