870 search results - page 112 / 174 » A New Approach to Modeling and Solving Minimal Perturbation ... |
ICPADS
2007
IEEE
15 years 6 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...
120
click to vote
ECML
1998
Springer
15 years 3 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...
103
click to vote
NDSS
2000
IEEE
15 years 3 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
14 years 6 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...
151
click to vote
VL
2010
IEEE
14 years 10 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...