Sciweavers

2226 search results - page 63 / 446
» Computable Analysis via Representations
Sort
View
ALMOB
2006
110views more  ALMOB 2006»
15 years 4 months ago
Computing distribution of scale independent motifs in biological sequences
The use of Chaos Game Representation (CGR) or its generalization, Universal Sequence Maps (USM), to describe the distribution of biological sequences has been found objectionable ...
Jonas S. Almeida, Susana Vinga
154
Voted
WWW
2006
ACM
16 years 4 months ago
Compressing and searching XML data via two zips
XML is fast becoming the standard format to store, exchange and publish over the web, and is getting embedded in applications. Two challenges in handling XML are its size (the XML...
Paolo Ferragina, Fabrizio Luccio, Giovanni Manzini...
ICDAR
1995
IEEE
15 years 7 months ago
A map acquisition, storage, indexing, and retrieval system
A system for the acquisition, storage, indexing, and retrieval of map images is presented. The input to this system are raster images of separate map layers and map composites. A ...
Hanan Samet, Aya Soffer
SMI
2008
IEEE
150views Image Analysis» more  SMI 2008»
15 years 10 months ago
SHREC'08 entry: Multi-view 3D retrieval using multi-scale contour representation
We describe in this paper a method for 3D shape indexing and retrieval that we apply on three data collections of the SHREC SHape Retrieval Contest 2008: Stability on watertight, ...
Thibault Napoleon, Tomasz Adamek, Francis Schmitt,...
FMCAD
2009
Springer
15 years 10 months ago
Software model checking via large-block encoding
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M...