Sciweavers

3628 search results - page 298 / 726
» The Decision Diffie-Hellman Problem
Sort
View
KELSI
2004
Springer
16 years 20 hour ago
Modelling and Prediction of Toxicity of Environmental Pollutants
Abstract. This paper describes the problem of modelling toxicity of environmental pollutants using molecular descriptors from a systems theoretical viewpoint. It is shown that curr...
Frank Lemke, Johann-Adolf Müller, Emilio Benf...
SAT
2004
Springer
131views Hardware» more  SAT 2004»
16 years 10 hour ago
A Comparative Study of 2QBF Algorithms
2QBF is the problem of evaluating a Quantified Boolean Formula (QBF) with two levels of quantification. Many practical problems in sequential verification can be formulated as i...
Darsh P. Ranjan, Daijue Tang, Sharad Malik
CAIP
2003
Springer
184views Image Analysis» more  CAIP 2003»
15 years 12 months ago
Multi-class Support Vector Machines with Case-Based Combination for Face Recognition
Abstract. The support vector machine is basically to deal with a two-class classification problem. To get M-class classifiers for face recognition, it is common to construct a set ...
Jaepil Ko, Hyeran Byun
DATE
2002
IEEE
94views Hardware» more  DATE 2002»
15 years 11 months ago
Exact Grading of Multiple Path Delay Faults
The problem of fault grading for multiple path delay faults is studied and a method of obtaining the exact coverage is presented. The faults covered are represented and manipulate...
Saravanan Padmanaban, Spyros Tragoudas
CSEE
1999
Springer
15 years 11 months ago
Replacing a Hospital Information System: An Example of a Real-World Case Study
Real-world case studies are important to complement the academic skills and knowledge acquired by computer science students. In this paper we relate our experiences with a course ...
Klaas Sikkel, Ton A. M. Spil, Rob L. W. van de Weg