Sciweavers

3072 search results - page 252 / 615
» Shape analysis algorithm based on information theory
Sort
View
126
Voted
CHI
1995
ACM
15 years 7 months ago
Finding and Using Implicit Structure in Human-Organized Spatial Layouts of Information
Many interfaces allow users to manipulate graphical objects, icons representing underlying data or the data themselves, against a spatial backdrop or canvas. Users take advantage ...
Frank M. Shipman III, Catherine C. Marshall, Thoma...
130
Voted
SPIN
2000
Springer
15 years 7 months ago
Using Runtime Analysis to Guide Model Checking of Java Programs
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...
Klaus Havelund
168
Voted
CIVR
2010
Springer
295views Image Analysis» more  CIVR 2010»
15 years 7 months ago
Signature Quadratic Form Distance
The Signature Quadratic Form Distance is an adaptive similarity measure for flexible content-based feature representations of multimedia data. In this paper, we present a deep su...
Christian Beecks, Merih Seran Uysal, Thomas Seidl
AI
2009
Springer
15 years 10 months ago
Exploratory Analysis of Co-Change Graphs for Code Refactoring
Abstract. Version Control Systems (VCS) have always played an essential role for developing reliable software. Recently, many new ways of utilizing the information hidden in VCS ha...
Hassan Khosravi, Recep Colak
116
Voted
CEAS
2005
Springer
15 years 9 months ago
SMTP Path Analysis
Most proponents of domain authentication suggest combining domain authentication with reputation services. This paper presents a new learning algorithm for learning the reputation...
Barry Leiba, Joel Ossher, V. T. Rajan, Richard Seg...