2297 search results - page 147 / 460 » An Algorithm for Computing the Integral Closure |
110
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
eriodically time-varying (LPTV) abstractions are useful for a variety of communication and computer subsystems. In this paper, we present a novel operator-based model-order reduct...
154
click to vote
CG
2006
Springer
15 years 6 months ago
2006
Springer
We apply Monte Carlo simulation and alpha-beta search to the card game of Skat, which is similar to Bridge, but different enough to require some new algorithmic ideas besides the t...
131
Voted
FORMATS
2006
Springer
15 years 6 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 ...
148
click to vote
EUROPAR
2008
Springer
15 years 4 months ago
2008
Springer
This work is devoted to the numerical resolution of the 4D Vlasov equation using an adaptive mesh of phase space. We previously proposed a parallel algorithm designed for distribut...
CVPR
2007
IEEE
16 years 4 months ago
2007
IEEE
This paper presents a novel unsupervised color segmentation scheme named ROI-SEG, which is based on the main idea of combining a set of different sub-segmentation results. We prop...