411 search results - page 54 / 83 » Efficient View Maintenance Using Version Numbers |
ISSAC
2009
Springer
15 years 4 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...
LICS
1994
IEEE
15 years 1 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 ...
69
Voted
BMCBI
2006
14 years 9 months 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 ...
101
click to vote
IJCV
2006
14 years 9 months 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...
55
Voted
ICML
2003
IEEE
15 years 10 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...