380 search results - page 30 / 76 » Exonovation - Leveraging the Innovation of Others |
CP
2005
Springer
14 years 1 months ago
2005
Springer
QBF is the problem of deciding the satisfiability of quantified boolean formulae in which variables can be either universally or existentially quantified. QBF generalizes SAT (S...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents a novel approach of applying both positive selection and negative selection to supervised learning for anomaly detection. It first learns the patterns of the n...
EGH
2004
Springer
14 years 28 days ago
2004
Springer
In this paper we describe a multipurpose tool for analysis of the performance characteristics of computer graphics hardware and software. We are developing Qsilver, a highly con...
ACSC
2003
IEEE
14 years 25 days ago
2003
IEEE
This paper presents an innovative strategy to synchronize all virtual clocks in asynchronous Internet environments. Our model is based on the architecture of one reference clock a...
DISCEX
2003
IEEE
14 years 25 days ago
2003
IEEE
This research project has produced an innovative architecture and corrresponding engineering prototype consisting of trusted security services and integrated operating system mech...