19003 search results - page 406 / 3801 » We Need Assurance |
119
click to vote
MVA
1998
15 years 8 months ago
1998
Many industrial processes need information about material grain size. In this work we examined rolled chrome concentrate to determine the average grain size. Test material was sie...
161
click to vote
MVA
1992
15 years 8 months ago
1992
Image processing applications need shorter processing times. This requires the parallelization of low and mid levels sequential process chains on specific machines. In this paper ...
169
click to vote
CSL
2010
Springer
15 years 8 months ago
2010
Springer
We describe the formalisation of the normal forms of context-free grammars (CFGs) using the HOL4 theorem prover. These straightforward pen and paper proofs easily understood from t...
184
click to vote
ESWS
2010
Springer
15 years 8 months ago
2010
Springer
SWRL rule are increasingly being used to represent knowledge on the Semantic Web. As these SWRL rule bases grows larger, managing the resulting complexity can become a challenge. D...
124
click to vote
ALGORITHMICA
2010
15 years 7 months ago
2010
We describe space-efficient algorithms for solving problems related to finding maxima among points in two and three dimensions. Our algorithms run in optimal O(n log n) time and oc...