Sciweavers

4276 search results - page 363 / 856
» Techniques for Empirical Validation
Sort
View
INFOVIS
2005
IEEE
16 years 13 days ago
Multivariate Glyphs for Multi-Object Clusters
Aggregating items can simplify the display of huge quantities of data values at the cost of losing information about the attribute values of the individual items. We propose a dis...
Eleanor Boyle Chlan, Penny Rheingans
FM
2005
Springer
112views Formal Methods» more  FM 2005»
16 years 11 days ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
164
Voted
IBPRIA
2005
Springer
16 years 11 days ago
An Algorithm for the Detection of Multiple Concentric Circles
This paper presents a method for the detection of multiple concentric circles which is based on the Hough Transform (HT). In order to reduce time and memory space the concentric ci...
Margarida Silveira
SCALESPACE
2005
Springer
16 years 9 days ago
Matrix-Valued Filters as Convex Programs
Matrix-valued images gain increasing importance both as the output of new imaging techniques and as the result of image processing operations, bearing the need for robust and effic...
Martin Welk, Florian Becker, Christoph Schnör...
JCDL
2004
ACM
89views Education» more  JCDL 2004»
16 years 8 days ago
Machine learning for information architecture in a large governmental website
This paper describes ongoing research into the application of machine learning techniques for improving access to governmental information in complex digital libraries. Under the ...
Miles Efron, Jonathan L. Elsas, Gary Marchionini, ...