Sciweavers

CSMR
2011
IEEE
14 years 10 months ago
RTFM (Read the Factual Mails) - Augmenting Program Comprehension with Remail
—The advent of globalization has led to the adoption of distributed software development as a common practice. One of its drawbacks -the absence of impromptu meetingsis tackled w...
Alberto Bacchelli, Michele Lanza, Vitezslav Humpa
CSMR
2011
IEEE
14 years 10 months ago
Sub-graph Mining: Identifying Micro-architectures in Evolving Object-Oriented Software
Abstract—Developers introduce novel and undocumented micro-architectures when performing evolution tasks on object-oriented applications. We are interested in understanding wheth...
Ahmed Belderrar, Segla Kpodjedo, Yann-Gaël Gu...
CORR
2011
Springer
169views Education» more  CORR 2011»
14 years 10 months ago
Percolation in the Secrecy Graph
— Secrecy graphs model the connectivity of wireless networks under secrecy constraints. Directed edges in the graph are present whenever a node can talk to another node securely ...
Amites Sarkar, Martin Haenggi
CORR
2011
Springer
201views Education» more  CORR 2011»
14 years 10 months ago
On the Weakenesses of Correlation
The correlation of the result lists provided by search engines is fundamental and it has deep and multidisciplinary ramifications. Here, we present automatic and unsupervised met...
Paolo D'Alberto, Ali Dasdan
CORR
2011
Springer
164views Education» more  CORR 2011»
14 years 10 months ago
Lipschitz Games
The Lipschitz constant of a finite normal–form game is the maximal change in some player’s payoff when a single opponent changes his strategy. We prove that games with small ...
Yaron Azrieli, Eran Shmaya
CORR
2011
Springer
138views Education» more  CORR 2011»
14 years 10 months ago
Many collinear k-tuples with no k+1 collinear points
For every k > 3, we give a construction of planar point sets with many collinear k-tuples and no collinear (k + 1)-tuples.
József Solymosi, Milos Stojakovic
CORR
2011
Springer
115views Education» more  CORR 2011»
14 years 10 months ago
SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
Michael Codish, Igor Gonopolskiy, Amir M. Ben-Amra...
CORR
2011
Springer
194views Education» more  CORR 2011»
14 years 10 months ago
Sparse approximation property and stable recovery of sparse signals from noisy measurements
—In this paper, we introduce a sparse approximation property of order s for a measurement matrix A: xs 2 ≤ D Ax 2 + β σs(x) √ s for all x, where xs is the best s-sparse app...
Qiyu Sun
CORR
2011
Springer
179views Education» more  CORR 2011»
14 years 10 months ago
Approximating minimum-power edge-multicovers
Given a graph with edge costs, the power of a node is the maximum cost of an edge incident to it, and the power of a graph is the sum of the powers of its nodes. Motivated by appli...
Nachshon Cohen, Zeev Nutov