14704 search results - page 204 / 2941 » computing 2007 |
107
click to vote
CATA
2003
15 years 4 months ago
2003
The imprecise computation model provides the ability to cope with unpredictable workloads. However, there is no consistent way on how to terminate the computation in its early sta...
127
Voted
CSC
2006
15 years 4 months ago
2006
: - There are many numerical methods adopted to solve mathematical problems. Early researchers focused on the methods to reduce computational costs. In recent years, reduction in c...
DAGSTUHL
2006
15 years 4 months ago
2006
Abstract. We propose a new algorithm for the computation of the minimal associated primes of an ideal. In [1] we have introduced modifications to an algorithm for the computation o...
123
click to vote
DAGSTUHL
2001
15 years 4 months ago
2001
This paper argues that "formal methods" can (continue to) provide the thinking tools for the future of computing science. Every significant engineering or scientific disc...
122
Voted
ACSW
2006
15 years 4 months ago
2006
Developing profiles to describe user or system behaviour is a useful technique employed in Computer Forensic investigations. Information found in data obtained by investigators ca...