Sciweavers

1066 search results - page 71 / 214
» Computing Private Set Operations with Linear Complexities
Sort
View
152
Voted
ICCV
2003
IEEE
16 years 8 months ago
Shape Representation via Harmonic Embedding
We present a novel representation of shape for closed planar contours explicitly designed to possess a linear structure. This greatly simplifies linear operations such as averagin...
Alessandro Duci, Anthony J. Yezzi, Sanjoy K. Mitte...
ICSE
2009
IEEE-ACM
16 years 27 days ago
WISE: Automated test generation for worst-case complexity
Program analysis and automated test generation have primarily been used to find correctness bugs. We present complexity testing, a novel automated test generation technique to ...
Jacob Burnim, Sudeep Juvekar, Koushik Sen
IJHPCA
2006
125views more  IJHPCA 2006»
15 years 6 months ago
Complexity Results for Collective Communications on Heterogeneous Platforms
In this paper, we consider the communications involved in the execution of a complex application, deployed on a heterogeneous platform. Such applications extensively use macro-com...
Olivier Beaumont, Loris Marchal, Yves Robert
ICLP
1997
Springer
15 years 10 months ago
The Complexity of Model Checking in Modal Event Calculi
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
Iliano Cervesato, Massimo Franceschet, Angelo Mont...
ISMIR
2001
Springer
208views Music» more  ISMIR 2001»
15 years 10 months ago
The JRing System for Computer-Assisted Musicological Analysis
Among other factors, high complexity and mandatory expert computer knowledge make many music IR and music analysis systems unsuitable for the majority of largely computer-illitera...
Andreas Kornstädt