Sciweavers

24 search results - page 5 / 5
» Structural Detection of Symmetries in Boolean Functions
Sort
View
GECCO
2007
Springer
137views Optimization» more  GECCO 2007»
14 years 16 days ago
Extended probe method for linkage discovery over high-cardinality alphabets
The work addresses the problem of identifying the epistatic linkage of a function from high cardinality alphabets to the real numbers. It is a generalization of Heckendorn and Wri...
Shude Zhou, Zengqi Sun, Robert B. Heckendorn
CORR
2011
Springer
142views Education» more  CORR 2011»
12 years 10 months ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp
ICIP
1998
IEEE
14 years 8 months ago
Rotational Wavelet Transforms for Motion Analysis Estimation and Tracking
Thispaper addresses the problem of estimating, analyzing and tracking objects moving with spatio-temporal rotational motion (i.e. the angular velocity of spinning or orbiting moti...
Jean-Pierre Leduc, Jonathan R. Corbett, M. Victor ...
ICISS
2010
Springer
13 years 4 months ago
ValueGuard: Protection of Native Applications against Data-Only Buffer Overflows
Abstract. Code injection attacks that target the control-data of an application have been prevalent amongst exploit writers for over 20 years. Today however, these attacks are gett...
Steven Van Acker, Nick Nikiforakis, Pieter Philipp...