19003 search results - page 262 / 3801 » We Need Assurance |
174
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
- The important step towards a comprehensive CAD framework is the development of a suitable, complete design model on which the design system’s components are based. To date, we ...
183
click to vote
AAECC
1997
Springer
15 years 10 months ago
1997
Springer
We describe the Maple [23] implementation of multivariate factorization over general finite fields. Our first implementation is available in Maple V Release 3. We give selected det...
143
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present ARF, our initial effort at solving taskallocation problems where cooperative agents need to perform tasks simultaneously. An example is multi-agent routi...
246
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
In this paper we present a method for reasoning about privacy using the concepts of exchangeability and deFinetti's theorem. We illustrate the usefulness of this technique by...
126
click to vote
SEMWEB
2007
Springer
16 years 23 days ago
2007
Springer
In different areas ontologies have been developed and many of these ontologies contain overlapping information. Often we would therefore want to be able to use multiple ontologies...