Sciweavers

12289 search results - page 1847 / 2458
» computing 2006
Sort
View
INFORMATICALT
2007
76views more  INFORMATICALT 2007»
15 years 7 months ago
An Integrative Framework to Protocol Analysis and Repair: Bellare-Rogaway Model + Planning + Model Checker
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
Kim-Kwang Raymond Choo
JGAA
2007
87views more  JGAA 2007»
15 years 7 months ago
A 2.5D Hierarchical Drawing of Directed Graphs
We introduce a new graph drawing convention for 2.5D hierarchical drawings of directed graphs. The vertex set is partitioned both into layers of vertices drawn in parallel planes ...
Seok-Hee Hong, Nikola S. Nikolov, Alexandre Tarass...
JPDC
2007
177views more  JPDC 2007»
15 years 7 months ago
Adaptive decomposition and remapping algorithms for object-space-parallel direct volume rendering of unstructured grids
Object space (OS) parallelization of an efficient direct volume rendering algorithm for unstructured grids on distributed-memory architectures is investigated. The adaptive OS de...
Cevdet Aykanat, Berkant Barla Cambazoglu, Ferit Fi...
IVC
2007
191views more  IVC 2007»
15 years 6 months ago
Rotation-invariant and scale-invariant Gabor features for texture image retrieval
Conventional Gabor representation and its extracted features often yield a fairly poor performance in retrieving the rotated and scaled versions of the texture image under query. ...
Ju Han, Kai-Kuang Ma
JCB
2008
111views more  JCB 2008»
15 years 6 months ago
Sorting Genomes with Centromeres by Translocations
A centromere is a special region in the chromosome that plays a vital role during cell division. Every new chromosome created by a genome rearrangement event must have a centromer...
Michal Ozery-Flato, Ron Shamir
« Prev « First page 1847 / 2458 Last » Next »