405 search results - page 61 / 81 » A New Program to Compute the Surface Properties of Biomolecu... |
COMMA
2006
13 years 9 months ago
2006
We present a procedure for computing the sceptical "ideal semantics" for argumentation in assumption-based frameworks. This semantics was first proposed for logic program...
RAID
2010
Springer
13 years 6 months ago
2010
Springer
Software keyloggers are a fast growing class of malware often used to harvest confidential information. One of the main reasons for this rapid growth is the possibility for unpriv...
IWMM
2007
Springer
14 years 2 months ago
2007
Springer
We present and evaluate a new technique for detecting and eliminating memory leaks in programs with dynamic memory allocation. This technique observes the execution of the program...
ISSAC
1995
Springer
13 years 11 months ago
1995
Springer
Dynamic evaluation is a technique for producing multiple results according to a decision tree which evolves with program execution. Sometimes it is desired to produce results for ...
SIGGRAPH
1997
ACM
14 years 4 days ago
1997
ACM
We present a new Monte Carlo method for solving the light transport problem, inspired by the Metropolis sampling method in computational physics. To render an image, we generate a...