Sciweavers

2489 search results - page 38 / 498
» On the Subgroup Distance Problem
Sort
View
107
Voted
AMAST
2006
Springer
15 years 4 months ago
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
Alastair F. Donaldson, Alice Miller
135
Voted
ECAI
2004
Springer
15 years 4 months ago
Avoiding Data Overfitting in Scientific Discovery: Experiments in Functional Genomics
Functional genomics is a typical scientific discovery domain characterized by a very large number of attributes (genes) relative to the number of examples (observations). The dang...
Dragan Gamberger, Nada Lavrac
87
Voted
WSC
1998
15 years 2 months ago
Criteria for Simulation Software Evaluation
In simulation software selection problems, packages are evaluated either on their own merits or in comparison with other packages. In either method, a list of criteria for evaluat...
Jalal Nikoukaran, Vlatka Hlupic, Ray J. Paul
103
Voted
FOCM
2008
100views more  FOCM 2008»
15 years 26 days ago
Optimal Control and Geodesics on Quadratic Matrix Lie Groups
In this paper, we consider some matrix subgroups of the general linear group and in particular the special linear group that are defined by a quadratic matrix identity. The Lie al...
Anthony M. Bloch, Peter E. Crouch, Jerrold E. Mars...
DEXAW
2004
IEEE
97views Database» more  DEXAW 2004»
15 years 4 months ago
A Conceptual Model Based Distance Learning System for Computer Literacy
In distance learning for computer literacy, a student's skill is dependent on personal experience. In such cases, it is important to determine the student's understandin...
Yoshiki Murotani, Minoru Uehara, Hideki Mori