6575 search results - page 695 / 1315 » Specializing visualization algorithms |
177
click to vote
GCB
2006
Springer
15 years 10 months ago
2006
Springer
: The analysis of small circular sequences requires specialized tools. While the differences between linear and circular sequences can be neglected in the case of long molecules su...
198
click to vote
ARITH
2001
IEEE
15 years 10 months ago
2001
IEEE
A recently introduced double-base number representation has proved to be successful in optimizing the performance of several algorithms in cryptography and digital signal processi...
203
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
182
click to vote
ERCIMDL
2000
Springer
15 years 10 months ago
2000
Springer
An Archival Repository reliably stores digital objects for long periods of time (decades or centuries). The archival nature of the system requires new techniques for storing, inde...
168
click to vote
PKDD
2000
Springer
15 years 10 months ago
2000
Springer
Previous algoritms for the construction of belief networks structures from data are mainly based either on independence criteria or on scoring metrics. The aim of this paper is to ...