Sciweavers

7952 search results - page 386 / 1591
» Methods for Measuring Usability
Sort
View
TPHOL
2007
IEEE
15 years 11 months ago
Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL
We present a simple method to formally prove termination of recursive functions by searching for lexicographic combinations of size measures. Despite its simplicity, the method tur...
Lukas Bulwahn, Alexander Krauss, Tobias Nipkow
JSCIC
2008
59views more  JSCIC 2008»
15 years 4 months ago
Computing Derivatives of Noisy Signals Using Orthogonal Functions Expansions
In many applications noisy signals are measured. These signals has to be filtered and, sometimes, their derivative have to be computed. In this paper a method for filtering the si...
Adi Ditkowski, Abhinav Bhandari, Brian W. Sheldon
GECCO
2009
Springer
125views Optimization» more  GECCO 2009»
15 years 9 months ago
Preserving population diversity for the multi-objective vehicle routing problem with time windows
The Vehicle Routing Problem’s main objective is to find the lowest-cost set of routes to deliver goods to customers, which have a service time window, using a fleet of identic...
Abel Garcia-Najera
LREC
2008
110views Education» more  LREC 2008»
15 years 6 months ago
Automatic Assessment of Japanese Text Readability Based on a Textbook Corpus
This paper describes a method of readability measurement of Japanese texts based on a newly compiled textbook corpus. The textbook corpus consists of 1,478 sample passages extract...
Satoshi Sato, Suguru Matsuyoshi, Yohsuke Kondoh
143
Voted
PICS
2000
15 years 6 months ago
Image Quality Testing on the Production Line
Eastman Kodak Company is using a scanner-based image quality measurement system to perform production line testing of the image quality of a high-quality thermal media based imagi...
Yair Kipman, Sam Reele, Randy Dumas