Sciweavers

1507 search results - page 259 / 302
» Separating Complexity Classes Using Structural Properties
Sort
View
INFSOF
2010
113views more  INFSOF 2010»
14 years 9 months ago
Package Fingerprints: A visual summary of package interface usage
Context: Object-oriented languages such as Java, Smalltalk, and C++ structure their programs using packages. Maintainers of large systems need to understand how packages relate to...
Hani Abdeen, Stéphane Ducasse, Damien Polle...
CORR
2006
Springer
120views Education» more  CORR 2006»
14 years 11 months ago
Termination orders for 3-dimensional rewriting
Abstract: This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource ma...
Yves Guiraud
KBSE
2007
IEEE
15 years 5 months ago
Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs
Achieving high structural coverage such as branch coverage in objectoriented programs is an important and yet challenging goal due to two main challenges. First, some branches inv...
Kobi Inkumsah, Tao Xie
87
Voted
DCC
2004
IEEE
15 years 10 months ago
On Some New Approaches to Practical Slepian-Wolf Compression Inspired by Channel Coding
We introduce three new innovations for compression using LDPCs for the Slepian-Wolf problem. The first is a general iterative Slepian-Wolf decoding algorithm that incorporates the...
Anna H. Lee, Michelle Effros, Muriel Médard...
99
Voted
CEC
2010
IEEE
15 years 4 days ago
Multi-objective memetic evolution of ART-based classifiers
In this paper we present a novel framework for evolving ART-based classification models, which we refer to as MOME-ART. The new training framework aims to evolve populations of ART...
Rong Li, Timothy R. Mersch, Oriana X. Wen, Assem K...