7380 search results - page 81 / 1476 » time 2008 |
168
click to vote
SIGACT
1998
15 years 5 months ago
1998
Although mergesort is an algorithm that is frequently glossed over in textbooks, it provides fertile ground for planting ideas about algorithm analysis in the minds of students. A...
155
click to vote
TMI
2002
15 years 5 months ago
2002
It has been shown that the difference of squares cost function used by standard realignment packages (SPM and AIR) can lead to the detection of spurious activations, because the mo...
186
click to vote
ENGL
2008
15 years 6 months ago
2008
Because most of the procedures in defect inspection process of TFT-LCD module assembly are examined manually through human vision, cycle time estimation for this particular process...
155
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper introduces a new algorithm dedicated to the rigorous reachability analysis of nonlinear dynamical systems. The algorithm is initially presented in the context of discre...
175
click to vote
FUIN
2008
15 years 6 months ago
2008
We show that timed branching bisimilarity as defined by Van der Zwaag [16] and Baeten and Middelburg [2] is not an equivalence relation, in case of a dense time domain. We propose ...