Sciweavers

12052 search results - page 747 / 2411
» computing 2010
Sort
View
JUCS
2010
152views more  JUCS 2010»
15 years 2 months ago
Verification of Structural Pattern Conformance Using Logic Programming
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
Lunjin Lu, Dae-Kyoo Kim, Yuanlin Zhu, Sangsig Kim
MEMICS
2010
15 years 2 months ago
GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000
Embedded Block Coding with Optimal Truncation (EBCOT) is the fundamental and computationally very demanding part of the compression process of JPEG2000 image compression standard. ...
Jiri Matela, Vit Rusnak, Petr Holub
MICS
2010
124views more  MICS 2010»
15 years 2 months ago
An Optimal Algorithm for the k-Fixed-Endpoint Path Cover on Proper Interval Graphs
In this paper we consider the k-fixed-endpoint path cover problem on proper interval graphs, which is a generalization of the path cover problem. Given a graph G and a set T of k v...
George B. Mertzios, Walter Unger
NAR
2010
159views more  NAR 2010»
15 years 2 months ago
GeneSigDB - a curated database of gene expression signatures
The primary objective of most gene expression studies is the identification of one or more gene signatures; lists of genes whose transcriptional levels are uniquely associated wit...
Aedín C. Culhane, Thomas Schwarzl, Razvan S...
PAMI
2010
145views more  PAMI 2010»
15 years 2 months ago
Texture Synthesis with Grouplets
This paper proposes a new method to synthesize and inpaint geometric textures. The texture model is composed of a geometric layer that drives the computation of a new grouplet tran...
Gabriel Peyré