2157 search results - page 373 / 432 » Binary ant algorithm |
FM
2001
Springer
15 years 4 months ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
KI
2001
Springer
15 years 4 months ago
2001
Springer
Having to cope with memory limitations is an ubiquitous issue in heuristic search. We present theoretical and practical results on new variants for exploring state-space with respe...
102
click to vote
WCRE
2000
IEEE
15 years 4 months ago
2000
IEEE
One of the most important issue in source code analysis and software re-engineering is the representation of ode text at an abstraction level and form suitable for algorithmic pro...
100
click to vote
SIGMOD
2000
ACM
15 years 4 months ago
2000
ACM
For many KDD applications, such as detecting criminal activities in E-commerce, finding the rare instances or the outliers, can be more interesting than finding the common pattern...
ICMCS
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper, a technique is presented for CT image analysis and visualization of the bronchial airways. The technique provides a non-invasive way to examine the interior of the ...