This paper describes the architectures that can be used to build highly available database management systems. We describe these architectures along two dimensions – process redu...
Sam Drake, Wei Hu, Dale M. McInnis, Martin Skö...
This article present results for building accurate 3-D maps of urban environments with a mobile Segway RMP. The goal of this project is to use robotic systems to rapidly acquire 3-...
An Intrusion Detection System (IDS) is a program that analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. Th...
Ajith Abraham, Ravi Jain, Sugata Sanyal, Sang-Yong...
Predictive toxicology is the task of building models capable of determining, with a certain degree of accuracy, the toxicity of chemical compounds. Machine Learning (ML) in general...
The Boolean circuits is well established as a data structure for building propositional encodings of problems in preparation for satisfiability solving. The standard method for co...