3706 search results - page 214 / 742 » The Transformational Approach to Program Development |
116
click to vote
ACSAC
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes two recently developed intrusion detection algorithms, and gives experimental results on their performance. The algorithms detect anomalies in execution audit...
117
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: We have developed the program PERMOL for semi-automated homology modeling of proteins. It is based on restrained molecular dynamics using a simulated annealing protoco...
126
Voted
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
134
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Cellular automata can be used to design high-performance natural solvers on parallel computers. This paper describes the development of applications using CARPET, a high-level prog...
145
click to vote
AUSAI
2005
Springer
15 years 8 months ago
2005
Springer
Most data-mining techniques seek a single model that optimizes an objective function with respect to the data. In many real-world applications several models will equally optimize...