Sciweavers

7952 search results - page 245 / 1591
» Methods for Measuring Usability
Sort
View
123
Voted
EWC
2006
120views more  EWC 2006»
15 years 4 months ago
A comparison of two optimization methods for mesh quality improvement
We compare inexact Newton and block coordinate descent optimization methods for improving the quality of a mesh by repositioning the vertices, where the overall quality is measure...
Lori Freitag Diachin, Patrick M. Knupp, Todd S. Mu...
ZUM
2005
Springer
142views Formal Methods» more  ZUM 2005»
15 years 9 months ago
Formal Program Development with Approximations
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
Eerke A. Boiten, John Derrick
131
Voted
ICPR
2000
IEEE
15 years 8 months ago
Oscillating Search Algorithms for Feature Selection
A new sub-optimal subset search method for feature selection is introduced. As opposed to other till now known subset selection methods the oscillating search is not dependent on ...
Petr Somol, Pavel Pudil
COMPSAC
1997
IEEE
15 years 8 months ago
A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
Xiaoping Jia
121
Voted
SC
1994
ACM
15 years 8 months ago
Adaptive load migration systems for PVM
Adaptive load distribution is necessary for parallel applications to co-exist e ectively with other jobs in a network of shared, heterogeneous workstations. We present three metho...
Jeremy Casas, Ravi B. Konuru, Steve W. Otto, Rober...