Sciweavers

4307 search results - page 213 / 862
» Dynamic Spyware Analysis
Sort
View
ICTAI
2009
IEEE
14 years 5 months ago
Learning for Dynamic Subsumption
This paper presents an original dynamic subsumption technique for Boolean CNF formulae. It exploits simple and sufficient conditions to detect, during conflict analysis, clauses...
Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
COMPLEX
2009
Springer
14 years 5 months ago
Dynamic Regimes of a Multi-agent Stock Market Model
This paper presents a stochastic multi-agent model of stock market. The market dynamics include switches between chartists and fundamentalists and switches in the prevailing opinio...
Tongkui Yu, Honggang Li
GECCO
2009
Springer
121views Optimization» more  GECCO 2009»
14 years 5 months ago
Evolutionary algorithms and dynamic programming
Recently, it has been proven that evolutionary algorithms produce good results for a wide range of combinatorial optimization problems. Some of the considered problems are tackled...
Benjamin Doerr, Anton Eremeev, Christian Horoba, F...
IPPS
2007
IEEE
14 years 5 months ago
A Reconfigurable Load Balancing Architecture for Molecular Dynamics
This paper proposes a novel architecture supporting dynamic load balancing on an FPGA for a Molecular Dynamics algorithm. Load balancing is primarily achieved through the use of s...
Jonathan Phillips, Matthew Areno, Chris Rogers, Ar...
IROS
2007
IEEE
91views Robotics» more  IROS 2007»
14 years 5 months ago
A dynamic single actuator vertical climbing robot
— A climbing robot mechanism is introduced, which uses dynamic movements to climb between two parallel vertical walls. This robot relies on its own internal dynamic motions to ga...
Amir Degani, Amir Shapiro, Howie Choset, Matthew T...