Sciweavers

2062 search results - page 326 / 413
» Derivatives of Logical Formulas
Sort
View
PKDD
2010
Springer
150views Data Mining» more  PKDD 2010»
15 years 4 months ago
Virus Propagation on Time-Varying Networks: Theory and Immunization Algorithms
Given a contact network that changes over time (say, day vs night connectivity), and the SIS (susceptible/infected/susceptible, flu like) virus propagation model, what can we say ...
B. Aditya Prakash, Hanghang Tong, Nicholas Valler,...
WRLA
2010
15 years 4 months ago
Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding
Abstract. We revise multiset rewriting with name binding, by combining the two main existing approaches to the study of concurrency by means of multiset rewriting, multiset rewriti...
Fernando Rosa Velardo
ICIP
2010
IEEE
15 years 3 months ago
Entropies and cross-entropies of exponential families
Statistical modeling of images plays a crucial role in modern image processing tasks like segmentation, object detection and restoration. Although Gaussian distributions are conve...
Frank Nielsen, Richard Nock
JCT
2011
84views more  JCT 2011»
15 years 22 days ago
Enumerating isodiametric and isoperimetric polygons
For a positive integer n that is not a power of 2, precisely the same family of convex polygons with n sides is optimal in three different geometric problems. These polygons have ...
Michael J. Mossinghoff
EJASP
2010
92views more  EJASP 2010»
15 years 19 days ago
Optimized Paraunitary Filter Banks for Time-Frequency Channel Diagonalization
We adopt the concept of channel diagonalization to time-frequency signal expansions obtained by DFT filter banks. As a generalization of the frequency domain channel representatio...
Ziyang Ju, Thomas Hunziker, Dirk Dahlhaus