15421 search results - page 168 / 3085 » Dependability |
AAECC
2007
Springer
13 years 10 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...
ANOR
2008
13 years 10 months ago
2008
We describe a class of problems motivated by numerous real-world applications where there is a collection of objects that have both a cost and a value, but where some of those obj...
APAL
2008
13 years 10 months ago
2008
We extend the earlier results on the equivalence between the Boolean and the multivalued dependencies in relational databases and fragments of the Boolean propositional logic. It ...
NECO
2006
2006
Optimal Spike-Timing-Dependent Plasticity for Precise Action Potential Firing in Supervised Learning
13 years 10 months ago
In timing-based neural codes, neurons have to emit action potentials at precise moments in time. We use a supervised learning paradigm to derive a synaptic update rule that optimi...
IJNSEC
2007
13 years 10 months ago
2007
Java programs can be transmitted and executed on another host in bytecode format, thus the sensitive information of the host may be leaked via these assembly-like programs. Inform...