8828 search results - page 1493 / 1766 » Formal methods in practice |
177
click to vote
FPL
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Layout tools for FPGAs can typically be run in two different modes: non-timing-driven and timing-driven. Non-timing-driven mode produces a solution quickly, without consi...
244
click to vote
GECCO
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Improving image quality is the backbone of highly competitive display industry. Contemporary video processing system design is a challenging optimization problem. General...
204
click to vote
HUC
2004
Springer
16 years 3 days ago
2004
Springer
Location estimation is an important part of many ubiquitous computing systems. Particle filters are simulation-based probabilistic approximations which the robotics community has ...
177
click to vote
IDEAL
2004
Springer
16 years 3 days ago
2004
Springer
Building genetic regulatory networks from time series data of gene expression patterns is an important topic in bioinformatics. Probabilistic Boolean networks (PBNs) have been deve...
150
click to vote
ISSAC
2004
Springer
16 years 3 days ago
2004
Springer
Many polynomial factorization algorithms rely on Hensel lifting and factor recombination. For bivariate polynomials we show that lifting the factors up to a precision linear in th...