Sciweavers

12841 search results - page 256 / 2569
» PL-detective: experiences and results
Sort
View
FSE
1994
Springer
125views Cryptology» more  FSE 1994»
15 years 10 months ago
Linear Cryptanalysis Using Multiple Approximations and FEAL
We describe the results of experiments on the use of multiple approximations in a linear cryptanalytic attack on FEAL; we pay particular attention to FEAL-8. While these attacks on...
Burton S. Kaliski Jr., Matthew J. B. Robshaw
VISUALIZATION
1992
IEEE
15 years 10 months ago
Improving the Visualization of Hierarchies with Treemaps: Design Issues and Experimentation
Controlled experiments with novice treemap users and real data highlight the strengths of treemaps and provide direction for improvement. Issues discussed include experimental res...
David Turo, B. Johnson
119
Voted
ECAI
2006
Springer
15 years 10 months ago
Meta-Typicalness Approach to Reliable Classification
We propose a meta-typicalness approach to apply the typicalness framework for any type of classifiers. The approach can be used to construct classifiers with specified classificati...
Evgueni N. Smirnov, Stijn Vanderlooy, Ida G. Sprin...
ISER
2000
Springer
84views Robotics» more  ISER 2000»
15 years 10 months ago
Using Modular Self-Reconfiguring Robots for Locomotion
: We discuss the applications of modular self-reconfigurable robots to navigation. We show that greedy algorithms are complete for motion planning over a class of modular reconfigu...
Keith Kotay, Daniela Rus, Marsette Vona
285
Voted
AMAST
1997
Springer
15 years 10 months ago
Case Studies in Using a Meta-Method for Formal Method Integration
Abstract. We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integr...
Richard F. Paige