27 search results - page 4 / 6 » Applying Rough Sets Reduction Techniques to the Construction... |
PROVSEC
2009
Springer
13 years 10 months ago
2009
Springer
Abstract. Oracle separation methods are used in cryptography to rule out blackbox reductions between cryptographic primitives. It is sufficient to find an oracle relative to whic...
GIS
1992
ACM
13 years 9 months ago
1992
ACM
Machine learning techniques such as tree induction have become accepted tools for developing generalisations of large data sets, typically for use with production rule systems in p...
CAV
2006
Springer
13 years 9 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
HUC
2010
Springer
13 years 6 months ago
2010
Springer
This work presents the design and evaluation of an activity recognition system for seven important motion related activities. The only sensor used is an Inertial Measurement Unit ...
3DIM
2007
IEEE
14 years 3 days ago
2007
IEEE
This paper presents a new registration algorithm of a 2D image and a 3D geometrical model, which is robust for initial registration errors, for reconstructing a realistic 3D model...