Sciweavers

2989 search results - page 55 / 598
» Using Domain-Independent Problems for Introducing Formal Met...
Sort
View
EUPROJECTS
2005
Springer
15 years 3 months ago
Participatory Insight to Universal Access: Methods and Validation Exercises
Participatory methods can, in principle, be applied for a variety of purposes to gain insight into the context of use of an artefact or the way in which tasks are performed by end ...
Michael Pieper, Karl Stroetmann
BMCBI
2007
134views more  BMCBI 2007»
14 years 9 months ago
A framework for significance analysis of gene expression data using dimension reduction methods
Background: The most popular methods for significance analysis on microarray data are well suited to find genes differentially expressed across predefined categories. However, ide...
Lars Halvor Gidskehaug, Endre Anderssen, Arnar Fla...
HIS
2008
14 years 11 months ago
REPMAC: A New Hybrid Approach to Highly Imbalanced Classification Problems
The class imbalance problem (when one of the classes has much less samples than the others) is of great importance in machine learning, because it corresponds to many critical app...
Hernán Ahumada, Guillermo L. Grinblat, Luca...
CAV
2003
Springer
108views Hardware» more  CAV 2003»
15 years 3 months ago
Linear Invariant Generation Using Non-linear Constraint Solving
Abstract. We present a new method for the generation of linear invariants which reduces the problem to a non-linear constraint solving problem. Our method, based on Farkas’ Lemma...
Michael Colón, Sriram Sankaranarayanan, Hen...
CAGD
2004
122views more  CAGD 2004»
14 years 9 months ago
Axioms and variational problems in surface parameterization
For a surface patch on a smooth, two-dimensional surface in IR3 , low-distortion parameterizations are described in terms of minimizers of suitable energy functionals. Appropriate...
Ulrich Clarenz, Nathan Litke, Martin Rumpf