Sciweavers

3446 search results - page 396 / 690
» A Reasoning Algorithm for pD*
Sort
View
ECAI
2004
Springer
16 years 4 days ago
High-Level Observations in Java Debugging
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
Wolfgang Mayer, Markus Stumptner
ICARIS
2004
Springer
16 years 3 days ago
Immune System Approaches to Intrusion Detection - A Review
The use of artificial immune systems in intrusion detection is an appealing concept for two reasons. Firstly, the human immune system provides the human body with a high level of ...
Uwe Aickelin, Julie Greensmith, Jamie Twycross
INDOCRYPT
2004
Springer
16 years 3 days ago
A Provably Secure Elliptic Curve Scheme with Fast Encryption
Abstract. We present a new elliptic curve cryptosystem with fast encryption and key generation, which is provably secure in the standard model. The scheme uses arithmetic modulo n2...
David Galindo, Sebastià Martín Molle...
PRICAI
2004
Springer
16 years 2 days ago
Text Classification Using Belief Augmented Frames
: In this paper we present our work on applying Belief Augmented Frames to the text classification problem. We formulate the problem in two alternative ways, and we evaluate the pe...
Colin Keng-Yan Tan
WWW
2010
ACM
16 years 1 days ago
Keyword search over key-value stores
Key-value stores (KVSs) are the most prevalent storage systems for large scale web services. As they do not have the structural complexities of RDBMSs, they are more efficient. In...
Arash Termehchy, Marianne Winslett