12264 search results - page 178 / 2453 » An Analysis of the XSL Algorithm |
168
Voted
FORMATS
2006
Springer
15 years 9 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
144
Voted
APPML
2005
15 years 6 months ago
2005
The new generation of mass spectrometers produces an astonishing amount of high-quality data in a brief period of time, leading to inevitable data analysis bottlenecks. Automated ...
133
click to vote
JCP
2007
15 years 6 months ago
2007
— Presented in this paper is a joint algorithm optimization and architecture design framework for analysis of repetitive regularities. Two closely coupled algorithm optimization ...
226
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
144
click to vote
ISBI
2008
IEEE
16 years 6 months ago
2008
IEEE
We propose a Bayesian approach to incorporate anatomical information in the clustering of fiber trajectories. An expectationmaximization (EM) algorithm is used to cluster the traj...