Sciweavers

3392 search results - page 432 / 679
» Using Knowledge Representation to Understand Interactive Sys...
Sort
View
ICSE
2010
IEEE-ACM
15 years 2 months ago
Identifying crosscutting concerns using historical code changes
Detailed knowledge about implemented concerns in the source code is crucial for the cost-effective maintenance and successful evolution of large systems. Concern mining techniques...
Bram Adams, Zhen Ming Jiang, Ahmed E. Hassan
SAT
2009
Springer
126views Hardware» more  SAT 2009»
15 years 11 months ago
Extending SAT Solvers to Cryptographic Problems
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
Mate Soos, Karsten Nohl, Claude Castelluccia
160
Voted
PRIB
2009
Springer
100views Bioinformatics» more  PRIB 2009»
15 years 11 months ago
Evidence-Based Clustering of Reads and Taxonomic Analysis of Metagenomic Data
Abstract. The rapidly emerging field of metagenomics seeks to examine the genomic content of communities of organisms to understand their roles and interactions in an ecosystem. I...
Gianluigi Folino, Fabio Gori, Mike S. M. Jetten, E...
EDBT
2006
ACM
116views Database» more  EDBT 2006»
16 years 5 months ago
VICO: Visualizing Connected Object Orderings
In modern databases, complex objects like multimedia data, proteins or text objects can be modeled in a variety of representations and can be decomposed into multiple instances of ...
Stefan Brecheisen, Hans-Peter Kriegel, Matthias Sc...
WIKIS
2009
ACM
15 years 11 months ago
rv you're dumb: identifying discarded work in Wiki article history
Wiki systems typically display article history as a linear sequence of revisions in chronological order. This representation hides deeper relationships among the revisions, such a...
Michael D. Ekstrand, John Riedl