Sciweavers

4695 search results - page 584 / 939
» Software Clustering Techniques and the Use of Combined Algor...
Sort
View
204
Voted
CHI
2007
ACM
16 years 8 months ago
ExperiScope: an analysis tool for interaction data
We present ExperiScope, an analytical tool to help designers and experimenters explore the results of quantitative evaluations of interaction techniques. ExperiScope combines a ne...
François Guimbretière, Ken Hinckley,...
IFM
1999
Springer
111views Formal Methods» more  IFM 1999»
15 years 12 months ago
An Object Semantic Model of SOFL
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
Jin Song Dong, Shaoying Liu
MICCAI
1999
Springer
15 years 11 months ago
Interactive Medical Image Segmentation with United Snakes
Abstract. Snakes have become a standard image analysis technique with several variants now in common use. We have developed a software package called “United Snakes”. It unifi...
Jianming Liang, Tim McInerney, Demetri Terzopoulos
NSDI
2004
15 years 9 months ago
Model Checking Large Network Protocol Implementations
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
Madanlal Musuvathi, Dawson R. Engler
CHI
2009
ACM
16 years 8 months ago
EnsembleMatrix: interactive visualization to support machine learning with multiple classifiers
Machine learning is an increasingly used computational tool within human-computer interaction research. While most researchers currently utilize an iterative approach to refining ...
Justin Talbot, Bongshin Lee, Ashish Kapoor, Desney...