Sciweavers

3707 search results - page 639 / 742
» Clustering by Pattern Similarity
Sort
View
FSTTCS
2009
Springer
14 years 4 months ago
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
M. Praveen, Kamal Lodaya
LION
2009
Springer
114views Optimization» more  LION 2009»
14 years 4 months ago
Substitution Matrices and Mutual Information Approaches to Modeling Evolution
Abstract. Substitution matrices are at the heart of Bioinformatics: sequence alignment, database search, phylogenetic inference, protein family classication are based on Blosum, P...
Stephan Kitchovitch, Yuedong Song, Richard C. van ...
DEXAW
2008
IEEE
252views Database» more  DEXAW 2008»
14 years 4 months ago
XML Tree Structure Compression
In an XML document a considerable fraction consists of markup, that is, begin and end-element tags describing the document’s tree structure. XML compression tools such as XMill ...
Sebastian Maneth, Nikolay Mihaylov, Sherif Sakr
ICDM
2008
IEEE
222views Data Mining» more  ICDM 2008»
14 years 4 months ago
GRAPHITE: A Visual Query System for Large Graphs
We present Graphite, a system that allows the user to visually construct a query pattern, finds both its exact and approximate matching subgraphs in large attributed graphs, and ...
Duen Horng Chau, Christos Faloutsos, Hanghang Tong...
ACIVS
2008
Springer
14 years 4 months ago
Geodesic Active Contours with Combined Shape and Appearance Priors
We present a new object segmentation method that is based on geodesic active contours with combined shape and appearance priors. It is known that using shape priors can significan...
Rami Ben-Ari, Dror Aiger