Sciweavers

648 search results - page 113 / 130
» Carving differential unit test cases from system test cases
Sort
View
INFOSCALE
2007
ACM
13 years 10 months ago
A model-based WiFi localization method
—Due to the proliferation of WiFi access points, indoor localization methods based on WiFi signal strengths are becoming more and more attractive because they don’t require add...
Dik Lun Lee, Qiuxia Chen
PICS
2003
13 years 10 months ago
A Psychophysical Experiment Evaluating the Color Accuracy of Several Multispectral Image Capture Techniques
A paired comparison psychophysical experiment was performed to evaluate the quality of several imaging techniques. Images rendered for an LCD were compared with two- and three-dim...
Ellen A. Day, Roy S. Berns, Lawrence A. Taplin, Fr...
CONCUR
2010
Springer
13 years 9 months ago
Learning I/O Automata
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
Fides Aarts, Frits W. Vaandrager
LDTA
2010
13 years 8 months ago
Faster ambiguity detection by grammar filtering
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...
H. J. S. Basten, Jurgen J. Vinju
IPM
2008
88views more  IPM 2008»
13 years 8 months ago
Remembering William Goffman: Mathematical information science pioneer
This paper reviews the career and legacy of William (Bill) Goffman, who served as a researcher, Professor, Dean and Emeritus at Case Western Reserve University, Cleveland, Ohio, f...
Glynn Harmon