Sciweavers

6656 search results - page 328 / 1332
» Change, Change, Change: Three Approaches
Sort
View
IJSN
2006
123views more  IJSN 2006»
15 years 6 months ago
A survey of key evolving cryptosystems
: This paper presents a survey of key evolving cryptosystems in the public key setting, focusing on two main approaches: `forward security' and `intrusion resilience'. Th...
Matthew K. Franklin
CORR
2007
Springer
96views Education» more  CORR 2007»
15 years 6 months ago
Edit and verify
Abstract. Automated theorem provers are used in extended static checking, where they are the performance bottleneck. Extended static checkers are run typically after incremental ch...
Radu Grigore, Michal Moskal
ENTCS
2007
67views more  ENTCS 2007»
15 years 6 months ago
An Orchestrator for Dynamic Interconnection of Software Components
Composing and orchestrating software components is a fundamental concern in modern software engineering. This paper addresses the possibility of such orchestration being dynamic, ...
Marco Antonio Barbosa, Luís Soares Barbosa

Publication
226views
14 years 5 months ago
Modelling Multi-object Activity by Gaussian Processes
We present a new approach for activity modelling and anomaly detection based on non-parametric Gaussian Process (GP) models. Specifically, GP regression models are formulated to l...
Chen Change Loy, Tao Xiang, Shaogang Gong
GECCO
2007
Springer
141views Optimization» more  GECCO 2007»
16 years 28 days ago
Evolving robust GP solutions for hedge fund stock selection in emerging markets
Abstract Stock selection for hedge fund portfolios is a challenging problem for Genetic Programming (GP) because the markets (the environment in which the GP solution must survive)...
Wei Yan, Christopher D. Clack