3238 search results - page 469 / 648 » On the Computational Interpretation of Negation |
190
click to vote
EUROGRAPHICS
2010
Eurographics
15 years 7 months ago
2010
Eurographics
This paper presents an image editing framework where users use reference images to indicate desired color edits. In our approach, users specify pairs of strokes to indicate corres...
175
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
With the increasing functionality and complexity of distributed systems, resource failures are inevitable. While numerous models and algorithms for dealing with failures exist, th...
170
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...
181
click to vote
CIBCB
2009
IEEE
15 years 7 months ago
2009
IEEE
Data mining is the analysis of experimental datasets to extract trends and relationships that can be meaningful for the user. In genetic studies these techniques have revealed inte...
176
click to vote
CIBCB
2009
IEEE
15 years 7 months ago
2009
IEEE
Mass spectrometry is a very popular method for protein and peptide identification nowadays. Abundance of data generated in this way grows exponentially every year and although ther...