411 search results - page 54 / 83 » Efficient View Maintenance Using Version Numbers |
103
Voted
ISSAC
2009
Springer
15 years 7 months ago
2009
Springer
In this paper, we present an improved method for decomposing multivariate polynomials. This problem, also known as the Functional Decomposition Problem (FDP) [17, 9, 27], is class...
106
Voted
LICS
1994
IEEE
15 years 4 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...
87
Voted
BMCBI
2006
15 years 17 days ago
2006
Background: Recent, rapid growth in the quantity of available genomic data has generated many protein sequences that are not yet biochemically classified. Thus, the prediction of ...
129
Voted
IJCV
2006
15 years 15 days ago
2006
Automatic registration of range images is a fundamental problem in 3D modeling of free-from objects. Various feature matching algorithms have been proposed for this purpose. Howeve...
72
Voted
ICML
2003
IEEE
16 years 1 months ago
2003
IEEE
We present a fast iterative support vector training algorithm for a large variety of different formulations. It works by incrementally changing a candidate support vector set usin...