870 search results - page 112 / 174 » A New Approach to Modeling and Solving Minimal Perturbation ... |
ICPADS
2007
IEEE
14 years 4 months ago
2007
IEEE
One recent approach to build highly scalable and robust networked virtual environments (NVEs) is by using peer-to-peer overlay networks. Voronoi-based Overlay Network (VON) has be...
ECML
1998
Springer
14 years 2 months ago
1998
Springer
Previous bias shift approaches to predicate invention are not applicable to learning from positive examples only, if a complete hypothesis can be found in the given language, as ne...
NDSS
2000
IEEE
14 years 1 months ago
2000
IEEE
Several new approaches for detecting malicious attacks on computer systems and/or confining untrusted or malicious applications have emerged over the past several years. These tec...
NFM
2011
13 years 5 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
VL
2010
IEEE
13 years 8 months ago
2010
IEEE
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...