Sciweavers

240 search results - page 33 / 48
» Infinite trace equivalence
Sort
View
FMSB
2008
129views Formal Methods» more  FMSB 2008»
13 years 10 months ago
Rule-Based Modelling, Symmetries, Refinements
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
Vincent Danos, Jérôme Feret, Walter F...
NIPS
2000
13 years 10 months ago
Learning Continuous Distributions: Simulations With Field Theoretic Priors
Learning of a smooth but nonparametric probability density can be regularized using methods of Quantum Field Theory. We implement a field theoretic prior numerically, test its eff...
Ilya Nemenman, William Bialek
PODS
2004
ACM
139views Database» more  PODS 2004»
14 years 8 months ago
On Preservation under Homomorphisms and Unions of Conjunctive Queries
Unions of conjunctive queries, also known as select-project-join-union queries, are the most frequently asked queries in relational database systems. These queries are definable b...
Albert Atserias, Anuj Dawar, Phokion G. Kolaitis
ICIAP
2005
ACM
14 years 8 months ago
A New Efficient Method for Producing Global Affine Invariants
This paper introduces a new efficient way for computing affine invariant features from gray-scale images. The method is based on a novel image transform which produces infinitely m...
Esa Rahtu, Janne Heikkilä, Mikko Salo
AICT
2009
IEEE
132views Communications» more  AICT 2009»
14 years 1 months ago
Chaotic Digital Encoding for 2D Trellis-Coded Modulation
—In this paper, nonlinear digital filters with finite precision are analyzed as recursive systematic convolutional (RSC) encoders. An infinite impulse response (IIR) digital filt...
Calin Vladeanu, Safwan El Assad, Jean-Claude Carla...