Sciweavers

831 search results - page 86 / 167
» Coalgebraic Correspondence Theory
Sort
View
PAMI
2007
113views more  PAMI 2007»
14 years 11 months ago
Dominant Sets and Pairwise Clustering
—We develop a new graph-theoretic approach for pairwise data clustering which is motivated by the analogies between the intuitive concept of a cluster and that of a dominant set ...
Massimiliano Pavan, Marcello Pelillo
SIMPRA
2008
137views more  SIMPRA 2008»
14 years 11 months ago
An admissible-behaviour-based analysis of the deadlock in Petri-net controllers
This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...
G. Music, Drago Matko
JAT
2010
80views more  JAT 2010»
14 years 10 months ago
The Bregman distance, approximate compactness and convexity of Chebyshev sets in Banach spaces
We present some sufficient conditions ensuring the upper semicontinuity and the continuity of the Bregman projection operator Π g C and the relative projection operator P g C in...
Chong Li, Wen Song, Jen-Chih Yao
WER
2010
Springer
14 years 9 months ago
A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
Fadil Alturki, Ridha Khedri
COMJ
2010
14 years 9 months ago
InTune: A System to Support an Instrumentalist's Visualization of Intonation
tation of audio is necessarily an abstraction, it has the advantage that the observer can "visit" the image according to her will. For instance, she may see a note having...
Kyung Ae Lim, Christopher Raphael